Working Document -- Formalising Software Requirements with Large Language Models
Not on the map. Why?
Abstract (arXiv)
This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP) and Theory of Institutions (Section 6). Please refer to abstract of [7,8]. Key difference of this draft from our recently anticipated ones with similar titles, i.e. AACS 2025 [7] and SAIV 2025 [8] is: [7] is a two page submission to ADAPT Annual Conference, Ireland. Submitted on 18th of March, 2025, it went through the light-weight blind review and accepted for poster presentation. Conference was held on 15th of May, 2025; [8] is a nine page paper with additional nine pages of references and summary tables, submitted to Symposium on AI Verification (SAIV 2025) on 24th of April, 2025. It went through rigorous review process. The uploaded version on arXiv.org [8] is the improved one of the submission, after addressing the specific suggestions to improve the paper.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 29 of its 90 references that are in the map. First posted on arXiv 17 Jun 2025.
Builds on
29 of 90 references.
References · 29
- 2020Retrieval-Augmented Generation for Knowledge-Intensive NLP Taskscited by 9,297
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,374
- 2023A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPTcited by 619
- 2023LeanDojo: Theorem Proving with Retrieval-Augmented Language Modelscited by 427
- 2022The Unreliability of Explanations in Few-shot Prompting for Textual Reasoningcited by 169
- 2023Structured Chain-of-Thought Prompting for Code Generationcited by 138
- 2023Automatic Prompt Augmentation and Selection with Chain-of-Thought from Labeled Datacited by 119
- 2024Found in the Middle: Calibrating Positional Attention Bias Improves Long Context Utilizationcited by 101
- 2022Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Proverscited by 98
- 2022Iteratively Prompt Pre-trained Language Models for Chain of Thoughtcited by 75
- 2024Demystifying Chains, Trees, and Graphs of Thoughtscited by 63
- 2024Towards AI-Assisted Synthesis of Verified Dafny Methodscited by 58
17 more
- 2024SpecGen: Automated Generation of Formal Program Specifications via Large Language Modelscited by 53
- 2023Reprompting: Automated Chain-of-Thought Prompt Inference Through Gibbs Samplingcited by 47
- 2024Prompt Design and Engineering: Introduction and Advanced Methodscited by 45
- 2023A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verificationcited by 42
- 2024Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Provingcited by 35
- 2024AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMscited by 31
- 2018Semantically Enhanced Software Traceability Using Deep Learning Techniquescited by 22
- 2024Engineering Safety Requirements for Autonomous Driving with Large Language Modelscited by 14
- 2023Large Language Models Based Automatic Synthesis of Software Specificationscited by 13
- 2014Formal Consistency Checking over Specifications in Natural Languagescited by 8
- 2024Exploring LLMs for Verifying Technical System Specifications Against Requirementscited by 7
- 2024Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFastcited by 5
- 2019Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTPcited by 4
- 2025A Short Survey on Formalising Software Requirements using Large Language Modelscited by 4
- 2020Formal Methods: From Academia to Industrial Practice. A Travel Guidecited by 3
- 2024BIS: NL2SQL Service Evaluation Benchmark for Business Intelligence Scenarioscited by 3
- 2025Formalising Software Requirements using Large Language Modelscited by 2
Built on by
Not cited yet.