TY  - RPRT
TI  - OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
AU  - Chenyi Li
AU  - Yanchen Nie
AU  - Zhenyu Ming
AU  - Gong Zhang
AU  - Kun Yuan
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2604.23712
ID  - 2604.23712
ER  -