firstbacksecondback
2 Results
|
Poster
|
Thu 9:00 |
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Qiaochu Jiang · Wenda Li · Szymon Tworkowski · Konrad Czechowski · Tomasz Odrzygóźdź · Piotr Miłoś · Yuhuai Wu · Mateja Jamnik |
|
|
Poster
|
Thu 14:00 |
Autoformalization with Large Language Models Yuhuai Wu · Albert Qiaochu Jiang · Wenda Li · Markus Rabe · Charles Staats · Mateja Jamnik · Christian Szegedy |