TY  - RPRT
TI  - ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
AU  - Zhangir Azerbayev
AU  - Bartosz Piotrowski
AU  - Hailey Schoelkopf
AU  - Edward W. Ayers
AU  - Dragomir Radev
AU  - Jeremy Avigad
PY  - 2023
UR  - https://arxiv.org/abs/2302.12433
ID  - 2302.12433
ER  -