TY  - RPRT
TI  - Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
AU  - Manqing Zhang
AU  - Yunwei Dong
AU  - Lingru Zhou
AU  - Bingxu Xiao
AU  - Yepang Liu
PY  - 2026
UR  - https://arxiv.org/abs/2604.24354
ID  - 2604.24354
ER  -