TY  - RPRT
TI  - ProofGap: Benchmarking Step-Level Formal Reasoning with Local Obligations Derived from Natural-Language Solutions
AU  - Lihan Xie
AU  - Zhicheng Hui
AU  - Yingjun Lan
AU  - Zhehao Li
AU  - Xingzhi Qi
AU  - Siyue Huang
AU  - Jirui Liu
AU  - Chuxiao Zeng
AU  - Bohan Zhao
AU  - Qinxiang Cao
PY  - 2026
UR  - https://arxiv.org/abs/2609.29296
ID  - 2609.29296
ER  -