Formal Specifications from Natural Language

v1v2 (latest)

Formal Specifications from Natural Language

4 June 2022

Christopher Hahn

Frederik Schmitt

Julia J. Tillman

Bernd Finkbeiner

ArXiv (abs)PDF HTML

Papers citing "Formal Specifications from Natural Language"

18 / 18 papers shown

Title
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement Jilin Hu Jianyu Zhang Yongwang Zhao Talia Ringer 34 1 0 21 May 2025
Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework Jundong Xu Hao Fei Meng Luo Qian Liu Liangming Pan William Yang Wang Preslav Nakov Mong Li Lee Wynne Hsu LRM 135 1 0 22 Dec 2024
Learning Temporal Logic Predicates from Data with Statistical Guarantees Emi Soroka Rohan Sinha Sanjay Lall 66 1 0 15 Jun 2024
TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules Kumar Manas Stefan Zwicklbauer Adrian Paschke 60 10 0 09 Jun 2024
Faithful Logical Reasoning via Symbolic Chain-of-Thought Jundong Xu Hao Fei Liangming Pan Qian Liu Mong Li Lee Wynne Hsu OffRL LRM LLMAG 147 65 0 28 May 2024
Integrating Explanations in Learning LTL Specifications from Demonstrations Ashutosh Gupta John Komp Abhay Singh Rajput Shankaranarayanan Krishna Ashutosh Trivedi Namrita Varshney 38 0 0 03 Apr 2024
Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach Jing-Bing Yang Ying Wang 55 6 0 28 Dec 2023
Fine-Tuning Language Models Using Formal Methods Feedback Yunhao Yang N. Bhatt Tyler Ingebrand William Ward Steven Carr Zhangyang Wang Ufuk Topcu 69 9 0 27 Oct 2023
Clover: Closed-Loop Verifiable Code Generation Chuyue Sun Ying Sheng Oded Padon Clark W. Barrett OffRL ALM 130 31 0 26 Oct 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers Theo X. Olausson Alex Gu Benjamin Lipkin Cedegao E. Zhang Armando Solar-Lezama Josh Tenenbaum Roger Levy LRM AI4CE ReLM 158 119 0 23 Oct 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang Aidan M. Swope Alex Gu Rahul Chalamala Peiyang Song Shixing Yu Saad Godil R. Prenger Anima Anandkumar RALM 123 245 0 27 Jun 2023
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation Yuan Yang Siheng Xiong Ali Payani Ehsan Shareghi Faramarz Fekri LRM 79 40 0 24 May 2023
Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification Jiayi Pan Glen Chou Dmitry Berenson 100 39 0 09 Mar 2023
Baldur: Whole-Proof Generation and Repair with Large Language Models E. First M. Rabe Talia Ringer Yuriy Brun 139 106 0 08 Mar 2023
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models Matthias Cosler Christopher Hahn Daniel Mendoza Frederik Schmitt Caroline Trippel 67 63 0 08 Mar 2023
Iterative Circuit Repair Against Formal Specifications Matthias Cosler Frederik Schmitt Christopher Hahn Bernd Finkbeiner 56 10 0 02 Mar 2023
Towards a Mathematics Formalisation Assistant using Large Language Models Ayush Agrawal Siddhartha Gadgil Navin Goyal Ashvni Narayanan Anand Tadipatri 82 17 0 14 Nov 2022
Learning to Follow Instructions in Text-Based Games Mathieu Tuli Andrew C. Li Pashootan Vaezipoor Toryn Q. Klassen Scott Sanner Sheila A. McIlraith 61 13 0 08 Nov 2022