OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
C. Li, Y. Nie, Z. Ming, G. Zhang, K. Yuan, Z. Wen
International Conference on Machine Learning (ICML), 2026
ICML 2026
Publications
Browse journal articles, conference papers, preprints, and technical reports from the group.
Showing 1–6 of 116 results
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
R. Xin, Z. Zheng, Y. Nie, K. Yuan, X. Xiao
International Conference on Machine Learning (ICML), 2026
ICML 2026Synergistic Intra- and Cross-Layer Regularization Losses for MoE Expert Specialization
R. Hu, Y. Cao, B. Kong, M. Sun, K. Yuan
International Conference on Machine Learning (ICML), 2026
ICML 2026Mixture of Distributions Matters: Dynamic Sparse Attention for Efficient Video Diffusion Transformers
Y. Liu, Y. Hu, Z. Zhang, K. Jiang, K. Yuan
International Conference on Machine Learning (ICML), 2026
ICML 2026Grouter: Decoupling Routing from Representation for Accelerated MoE Training
Y. Xu, R. Hu, Z. Liu, M. Sun, K. Yuan
International Conference on Machine Learning (ICML), 2026
ICML 2026OptMaster: A DAG-Based Framework for Formulation and Heuristic Discovery in Optimization
H. Lin, Y. Gao, Y. Zhang, K. Yuan, G. Yan, S. Chen, L. Zhang, W. E
International Conference on Machine Learning (ICML), 2026
ICML 2026