FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified? - Nikil Ravi; Kexing Ying; Vasilii Nesterov; Rayan Krishnan; Elif Uskuplu; Bingyu Xia; Janitha Aswedige; Langston Nashold (CoRR, 2026)