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

Published in Thirty-sixth Conference on Neural Information Processing Systems (NeurIPS), 2022