OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving — Chenyi Li, Yanchen Nie, Zhenyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen | Kutubxona