Edward William Ayers

~Edward_William_Ayers1

1

论文总数

1.0

年均投稿

4.5

平均评分

接收情况0/1

会议分布

ICLR

1

发表论文 (1 篇)

20241 篇

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

ICLR 2024Rejected

合作者 (4)

Bartosz Piotrowski1 篇

Dragomir Radev1 篇

Hailey Schoelkopf1 篇

Zhangir Azerbayev1 篇