OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving

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