PublicationBenchmarksMarch 31, 2026

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?

Graduate-level statements, machine-checked answers: a benchmark that a convincing-sounding proof cannot pass.

Authors: Nikil Ravi, Kexing Ying, Vasilii Nesterov, Rayan Krishnan, Elif Uskuplu, Bingyu Xia, Janitha Aswedige, Langston Nashold

Published in: arXiv:2603.26996