@misc{indiciae952ec74bf4eb,
  title = {Getting More out of Large Language Models for Proofs},
  author = {Shizhuo Dylan Zhang and Talia Ringer and Emily First},
  year = {2023},
  url = {https://arxiv.org/abs/2305.04369},
  note = {Source identifier: 2305.04369}
}