firstbacksecondback
3 Results
|
Poster
|
Thu 14:00 |
Autoformalization with Large Language Models Yuhuai Wu · Albert Qiaochu Jiang · Wenda Li · Markus Rabe · Charles Staats · Mateja Jamnik · Christian Szegedy |
|
|
Workshop
|
Sat 11:40 |
ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems Zhangir Azerbayev · Bartosz Piotrowski · Jeremy Avigad |
|
|
Workshop
|
ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems Zhangir Azerbayev · Bartosz Piotrowski · Jeremy Avigad |