1 paper
Pu Suo, Ali Emami
A standard pipeline for symbolic reasoning over natural-language problems translates them into first-order logic and invokes a theorem prover. The translation step is the bottlenec…