@misc{indiciae3349a8a84cc0,
  title = {FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?},
  author = {Nikil Ravi and Kexing Ying and Vasilii Nesterov and Rayan Krishnan and Elif Uskuplu and Bingyu Xia and Janitha Aswedige and Langston Nashold},
  year = {2026},
  url = {https://arxiv.org/abs/2603.26996},
  note = {Source identifier: 2603.26996}
}