Stress-Testing the Reasoning Competence of Language Models With Formal Proofs.

Konstantine Arkoudas, Serafim Batzoglou

Browse the full EMNLP paper archive.