@misc{indiciae82d415911c56,
  title = {Natural Language Deduction through Search over Statement Compositions},
  author = {Kaj Bostrom and Zayne Sprague and Swarat Chaudhuri and Greg Durrett},
  year = {2022},
  url = {https://arxiv.org/abs/2201.06028},
  note = {Source identifier: 2201.06028}
}