Clover: Closed-Loop Verifiable Code Generation

Clover: Closed-Loop Verifiable Code Generation

26 October 2023

Clark W. Barrett

Papers citing "Clover: Closed-Loop Verifiable Code Generation"

17 / 17 papers shown

Title
Can LLMs Enable Verification in Mainstream Programming? Aleksandr Shefer Igor Engel Stanislav Alekseev Daniil Berezun Ekaterina Verbitskaia Anton Podkopaev 58 0 0 18 Mar 2025
Proving the Coding Interview: A Benchmark for Formally Verified Code Generation Quinn Dougherty Ronak Mehta ALM 49 0 0 08 Feb 2025
Next Steps in LLM-Supported Java Verification Samuel Teuber Bernhard Beckert 51 0 0 03 Feb 2025
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs Jan Corazza I. Gavran Gabriela Moreira Daniel Neider 84 0 0 22 Jan 2025
Dafny as Verification-Aware Intermediate Language for Code Generation Yue Chen Li Stefan Zetzsche Siva Somayyajula ALM 31 0 0 10 Jan 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
Assured Automatic Programming via Large Language Models Martin Mirchev Andreea Costea Abhishek Kr Singh Abhik Roychoudhury 14 1 0 24 Oct 2024
Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen Shuai Lu Shan Lu Y. Gong Chenyuan Yang ... Peng Cheng Fan Yang Shuvendu Lahiri Tao Xie Lidong Zhou 37 6 0 21 Oct 2024
Joint Verification and Refinement of Language Models for Safety-Constrained Planning Yunhao Yang William Ward Zichao Hu Joydeep Biswas Ufuk Topcu 23 0 0 18 Oct 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 27 7 0 19 Sep 2024
DafnyBench: A Benchmark for Formal Software Verification Chloe Loughridge Qinyi Sun Seth Ahrenbach Federico Cassano Chuyue Sun Ying Sheng Anish Mudide Md Rakib Hossain Misu Nada Amin Max Tegmark ALM AI4CE 24 8 0 12 Jun 2024
Requirements are All You Need: The Final Frontier for End-User Software Engineering Diana Robinson Christian Cabrera Andrew D. Gordon Neil D. Lawrence Lars Mennen 16 4 0 22 May 2024
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming Saikat Chakraborty Gabriel Ebner Siddharth Bhat Sarah Fakhoury Sakina Fatima Shuvendu K. Lahiri Nikhil Swamy 27 15 0 03 May 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 42 21 0 15 Apr 2024
Guiding Enumerative Program Synthesis with Large Language Models Yixuan Li Julian Parsert Elizabeth Polgreen ELM 33 5 0 06 Mar 2024
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation Jiawei Liu Chun Xia Yuyao Wang Lingming Zhang ELM ALM 178 780 0 02 May 2023
Binding Language Models in Symbolic Languages Zhoujun Cheng Tianbao Xie Peng Shi Chengzu Li Rahul Nadkarni ... Dragomir R. Radev Mari Ostendorf Luke Zettlemoyer Noah A. Smith Tao Yu LMTD 109 195 0 06 Oct 2022