作者位次 #4/12ICML 2026Poster· Deep Learning / Large Language Models
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Junqi Liu · Zihao Zhou · Zekai Zhu · Marco Dos Santos · Weikun He · jiawei liu · Yunzhou Xie · Junqiao Zhao · Qiufeng Wang · Lihong Zhi · Jia LI · Wenda Li