Baldur: Whole-Proof Generation and Repair with Large Language Models

Emily First,Markus N. Rabe,Talia Ringer,Yuriy Brun

PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023（2023）

引用 34|浏览105

关键词

Proof assistants,proof synthesis,proof repair,machine learning,large language models,automated formal verification

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要