nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

8 March 2023

Papers citing "nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models"

27 / 27 papers shown

Title
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration Zirong Chen Ziyan An Jennifer Reynolds Kristin Mullen Stephen Martini Meiyi Ma 27 0 0 06 May 2025
Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic Mikihisa Yuasa R. Sreenivas Huy T. Tran 40 0 0 30 Apr 2025
We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback Minkyu Choi Sundar Sripada V. S. Harsh Goel Sahil Shah Sandeep P. Chinchali DiffM VGen 86 0 0 24 Apr 2025
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation Anjiang Wei Huanmi Tan Tarun Suresh Daniel Mendoza Thiago S. F. X. Teixeira Ke Wang Caroline Trippel Alex Aiken OffRL 16 0 0 22 Apr 2025
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees J. Wang David Smith Sundarsingh Jyotirmoy V. Deshmukh Y. Kantaros 26 0 0 22 Apr 2025
RBT4DNN: Requirements-based Testing of Neural Networks Nusrat Jahan Mozumder Felipe Toledo Swaroopa Dola Matthew B. Dwyer AAML 46 1 0 03 Apr 2025
Safeguarding Mobile GUI Agent via Logic-based Action Verification Jungjae Lee Dongjae Lee Chihun Choi Youngmin Im Jaeyoung Wi Kihong Heo Sangeun Oh Sunjae Lee Insik Shin LLMAG 75 0 0 24 Mar 2025
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 82 20 0 20 Dec 2024
Robot Tasks with Fuzzy Time Requirements from Natural Language Instructions Sascha Sucker Michael Neubauer Dominik Henrich 24 1 0 14 Nov 2024
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning Kumar Manas Stefan Zwicklbauer Adrian Paschke LRM LM&Ro 19 1 0 21 Oct 2024
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control William Murphy Nikolaus Holzer Nathan Koenig Leyi Cui Raven Rothkopf Feitong Qiao Mark Santolucito 16 1 0 11 Jun 2024
Autoformalizing Euclidean Geometry Logan Murphy Kaiyu Yang Jialiang Sun Zhaoyu Li A. Anandkumar Xujie Si 29 3 0 27 May 2024
Verifiably Following Complex Robot Instructions with Foundation Models Benedict Quartey Eric Rosen Stefanie Tellex G. Konidaris LM&Ro 39 10 0 18 Feb 2024
LLM4SecHW: Leveraging Domain Specific Large Language Model for Hardware Debugging Weimin Fu Kaichen Yang R. Dutta Xiaolong Guo Gang Qu 19 23 0 28 Jan 2024
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis Matthias Cosler Christopher Hahn Ayham Omar Frederik Schmitt NAI 25 1 0 22 Jan 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 25 5 0 28 Dec 2023
Co-audit: tools to help humans double-check AI-generated content Andrew D. Gordon Carina Negreanu J. Cambronero Rasika Chakravarthy Ian Drosos ... Hannah Richardson Advait Sarkar Stephanie Simmons Jack Williams Ben Zorn 25 12 0 02 Oct 2023
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models Zezhong Chen Yu Deng Wenjie Du LRM 13 4 0 22 Sep 2023
Conformal Temporal Logic Planning using Large Language Models J. Wang J. Tong Kai Liang Tan Yevgeniy Vorobeychik Y. Kantaros LM&Ro 34 20 0 18 Sep 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 12 207 0 27 Jun 2023
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments Jason Liu Ziyi Yang Ifrah Idrees Sam Liang Benjamin Schornstein Stefanie Tellex Ankit Parag Shah LM&Ro 13 40 0 22 Feb 2023
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic Mohammad Hekmatnejad Bardh Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos 12 6 0 29 Jun 2022
Autoformalization with Large Language Models Yuhuai Wu Albert Q. Jiang Wenda Li M. Rabe Charles Staats M. Jamnik Christian Szegedy AI4CE 108 156 0 25 May 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 315 8,402 0 28 Jan 2022
The Pile: An 800GB Dataset of Diverse Text for Language Modeling Leo Gao Stella Biderman Sid Black Laurence Golding Travis Hoppe ... Horace He Anish Thite Noa Nabeshima Shawn Presser Connor Leahy AIMat 245 1,986 0 31 Dec 2020
Scaling Laws for Neural Language Models Jared Kaplan Sam McCandlish T. Henighan Tom B. Brown B. Chess R. Child Scott Gray Alec Radford Jeff Wu Dario Amodei 226 4,424 0 23 Jan 2020
Efficient Estimation of Word Representations in Vector Space Tomáš Mikolov Kai Chen G. Corrado J. Dean 3DV 228 31,150 0 16 Jan 2013