firstbacksecondback
1 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 |