LeanReasoner: Boosting Complex Logical Reasoning with Lean.

Dongwei Jiang, Marcio Fonseca, Shay B. Cohen

Browse the full NAACL paper archive.