TY  - RPRT
TI  - ProofVerifier: A Scalable, Diversity-Driven Framework for Natural-Language Proof Verification
AU  - Haotong Yang
AU  - Zitong Wang
AU  - Shijia Kang
AU  - Siqi Yang
AU  - Wenkai Yu
AU  - Xu Niu
AU  - Yike Sun
AU  - Yi Hu
AU  - Zhouchen Lin
AU  - Muhan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2602.02377
ID  - 2602.02377
ER  -