@misc{indiciae3cf898490834,
  title = {Certified Deductive Reasoning with Language Models},
  author = {Gabriel Poesia and Kanishk Gandhi and Eric Zelikman and Noah D. Goodman},
  year = {2023},
  url = {https://arxiv.org/abs/2306.04031},
  note = {Source identifier: 2306.04031}
}