@misc{indiciae2be117c898ee,
  title = {Evaluating Research-Level Math Proofs via Strict Step-Level Verification},
  author = {Yifeng Sun},
  year = {2026},
  url = {https://arxiv.org/abs/2606.10799},
  note = {Source identifier: 2606.10799}
}