@misc{indiciae4309d57ef640,
  title = {ProofGap: Benchmarking Step-Level Formal Reasoning with Local Obligations Derived from Natural-Language Solutions},
  author = {Lihan Xie and Zhicheng Hui and Yingjun Lan and Zhehao Li and Xingzhi Qi and Siyue Huang and Jirui Liu and Chuxiao Zeng and Bohan Zhao and Qinxiang Cao},
  year = {2026},
  url = {https://arxiv.org/abs/2609.29296},
  note = {Source identifier: 2609.29296}
}