@article{certifiedreasoningwithlanguagemodels,
  title = {Certified Deductive Reasoning with Language Models},
  author = {Gabriel Poesia and Kanishk Gandhi and Eric Zelikman and Noah D. Goodman},
  year = {2023},
  eprint = {2306.04031},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.04031v2},
}