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

Open Webpage

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

Published: 2023, Last Modified: 15 Dec 2025ESEC/SIGSOFT FSE 2023EveryoneRevisionsBibTeXCC BY-SA 4.0