作者位次 #4/6ICML 2026Poster· Deep Learning / Large Language Models
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
Chenyi Li · Yanchen Nie · Zhenyu Ming · Gong Zhang · Kun Yuan · Zaiwen Wen
理论与学习动力学OpenReview