TY  - RPRT
TI  - Natural Language Deduction through Search over Statement Compositions
AU  - Kaj Bostrom
AU  - Zayne Sprague
AU  - Swarat Chaudhuri
AU  - Greg Durrett
PY  - 2022
UR  - https://arxiv.org/abs/2201.06028
ID  - 2201.06028
ER  -