@article{automatedtheoremprovershelpimprovelarge,
  title = {Automated Theorem Provers Help Improve Large Language Model Reasoning},
  author = {Lachlan McGinness and Peter Baumgartner},
  year = {2024},
  eprint = {2408.03492},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2408.03492v1},
}