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

Open Webpage

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

Published: 01 Jan 2023, Last Modified: 25 Jun 2025ESEC/SIGSOFT FSE 2023EveryoneRevisionsBibTeXCC BY-SA 4.0