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

Item #:

068431-0608

Details

DOI: https://doi.org/10.52202/068431-0608
Author(s): Konrad Czechowski, Mateja Jamnik, Albert Qiaochu Jiang, Wenda Li, Piotr Milos, Tomasz Odrzygózdz, Szymon Tworkowski, Yuhuai Wu
Pages: 8360-8373 (14 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 35
Date/Location: Held 28 November - 9 December 2022, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 35
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

DOI: https://doi.org/10.52202/068431-0608
Author(s): Konrad Czechowski, Mateja Jamnik, Albert Qiaochu Jiang, Wenda Li, Piotr Milos, Tomasz Odrzygózdz, Szymon Tworkowski, Yuhuai Wu
Pages: 8360-8373 (14 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 35
Date/Location: Held 28 November - 9 December 2022, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 35
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)