@misc{indiciae95ceceee4cd6,
  title = {OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving},
  author = {Chenyi Li and Yanchen Nie and Zhenyu Ming and Gong Zhang and Kun Yuan and Zaiwen Wen},
  year = {2026},
  url = {https://arxiv.org/abs/2604.23712},
  note = {Source identifier: 2604.23712}
}