TY  - RPRT
TI  - FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
AU  - Nikil Ravi
AU  - Kexing Ying
AU  - Vasilii Nesterov
AU  - Rayan Krishnan
AU  - Elif Uskuplu
AU  - Bingyu Xia
AU  - Janitha Aswedige
AU  - Langston Nashold
PY  - 2026
UR  - https://arxiv.org/abs/2603.26996
ID  - 2603.26996
ER  -