Automated Theorem Provers Help Improve Large Language Model Reasoning.

Lachlan McGinness, Peter Baumgartner

Browse the full LPAR paper archive.