@inproceedings{first-2023-baldur, series={ESEC/FSE ’23}, title={Baldur: Whole-Proof Generation and Repair with Large Language Models}, url={http://dx.doi.org/10.1145/3611643.3616243}, DOI={10.1145/3611643.3616243}, booktitle={Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, publisher={ACM}, author={First, Emily and Rabe, Markus N. and Ringer, Talia and Brun, Yuriy}, year={2023}, month=Nov, pages={1229–1241}, collection={ESEC/FSE ’23} }