TY  - RPRT
TI  - Clarifying Before Reasoning: A Coq Prover with Structural Context
AU  - Yanzhen Lu
AU  - Hanbin Yang
AU  - Xiaodie Wang
AU  - Ge Zhang
AU  - Biao Li
AU  - Chenxu Fu
AU  - Chao Li
AU  - Yang Yuan
AU  - Andrew Chi-Chih Yao
PY  - 2025
UR  - https://arxiv.org/abs/2507.02541
ID  - 2507.02541
ER  -