Venue. ESEC/FSE ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering · Conference · ACM 2023 Baldur: Whole-Proof Generation and Repair with Large Language Models first-2023-baldurESEC/FSE · 2023 PDF · DOI · pldb