Lemur: Integrating Large Language Models in Automated Program
Verification

Lemur: Integrating Large Language Models in Automated Program Verification

7 October 2023

Clark W. Barrett

Nina Narodytska

Papers citing "Lemur: Integrating Large Language Models in Automated Program Verification"

15 / 15 papers shown

Title
Frontier AI's Impact on the Cybersecurity Landscape Wenbo Guo Yujin Potter Tianneng Shi Zhun Wang Andy Zhang Dawn Song 52 2 0 07 Apr 2025
Can LLMs Formally Reason as Abstract Interpreters for Program Analysis? Jacqueline L. Mitchell Brian Hyeongseok Kim Chenyu Zhou Chao Wang LRM 60 0 0 16 Mar 2025
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview Norbert Tihanyi Tamás Bisztray M. Ferrag Bilel Cherif Richard A. Dubniczky Ridhi Jain Lucas C. Cordeiro 40 0 0 13 Mar 2025
Integrating Expert Knowledge into Logical Programs via LLMs Franciszek Górski Oskar Wysocki Marco Valentino André Freitas 119 0 0 17 Feb 2025
A Contemporary Survey of Large Language Model Assisted Program Analysis Jiayimei Wang Tao Ni Wei-Bin Lee Qingchuan Zhao 49 5 0 05 Feb 2025
Next Steps in LLM-Supported Java Verification Samuel Teuber Bernhard Beckert 53 0 0 03 Feb 2025
MCP-Solver: Integrating Language Models with Constraint Programming Systems Stefan Szeider 39 0 0 31 Dec 2024
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 21 0 20 Dec 2024
AutoVerus: Automated Proof Generation for Rust Code Chenyuan Yang Xuheng Li Md Rakib Hossain Misu Jianan Yao Weidong Cui ... Jacob R. Lorch Shuai Lu Fan Yang Ziqiao Zhou Shan Lu 29 7 0 19 Sep 2024
Lucy: Think and Reason to Solve Text-to-SQL Nina Narodytska S. Vargaftik LMTD ReLM AI4TS LRM 37 2 0 06 Jul 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Xiaohan Lin Qingxing Cao Yinya Huang Haiming Wang Jianqiao Lu Zhengying Liu Linqi Song Xiaodan Liang LRM 38 4 0 20 Jun 2024
Guiding Enumerative Program Synthesis with Large Language Models Yixuan Li Julian Parsert Elizabeth Polgreen ELM 41 6 0 06 Mar 2024
Clover: Closed-Loop Verifiable Code Generation Chuyue Sun Ying Sheng Oded Padon Clark W. Barrett OffRL ALM 33 28 0 26 Oct 2023
Baldur: Whole-Proof Generation and Repair with Large Language Models E. First M. Rabe Talia Ringer Yuriy Brun 67 93 0 08 Mar 2023
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 386 8,495 0 28 Jan 2022