Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

Published in NeurIPS 2022, 2022

Poster

Download paper here