Polish Academy of Sciences; University of Warsaw; IDEAS NCBR; Google Research & Stanford University; University of Cambridge
Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygóźdź, Piotr Miłoś, Yuhuai Wu, Mateja Jamnik
Theorem proving;language models;neuro-symbolic method;automated theorem provers;MiniF2F;PISA
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers