@misc{zhang-2023-getting,
  author = {Shizhuo Dylan Zhang and Talia Ringer and Emily First},
  title = {Getting More out of Large Language Models for Proofs},
  year = {2023},
  month = {5},
  eprint = {2305.04369},
  archiveprefix = {arXiv}
}