@misc{first2023baldur,
  title={Baldur: Whole-Proof Generation and Repair with Large Language Models},
  author={Emily First and Markus N. Rabe and Talia Ringer and Yuriy Brun},
  year={2023},
  eprint={2303.04910},
  archivePrefix={arXiv},
  primaryClass={cs.LG},
  url={https://arxiv.org/abs/2303.04910}
}