@misc{indiciae27b6d0c5a517,
  title = {Automated Theorem Provers Help Improve Large Language Model Reasoning},
  author = {Lachlan McGinness and Peter Baumgartner},
  year = {2024},
  doi = {10.29007/2n9m},
  url = {https://arxiv.org/abs/2408.03492},
  note = {Source identifier: 2408.03492}
}