@misc{indiciae5b18aae55db4,
  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},
  url = {https://arxiv.org/abs/2303.04910},
  note = {Source identifier: 2303.04910}
}