@inproceedings{NEURIPS2022_377c2531, author = {Jiang, Albert Qiaochu and Li, Wenda and Tworkowski, Szymon and Czechowski, Konrad and Odrzyg\'{o}\'{z}d\'{z}, Tomasz and Mi\l o\'{s}, Piotr and Wu, Yuhuai and Jamnik, Mateja}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh}, pages = {8360--8373}, publisher = {Curran Associates, Inc.}, title = {Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers}, url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/377c25312668e48f2e531e2f2c422483-Paper-Conference.pdf}, volume = {35}, year = {2022} }