TY  - RPRT
TI  - Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
AU  - Junqi Liu
AU  - Zihao Zhou
AU  - Zekai Zhu
AU  - Marco Dos Santos
AU  - Weikun He
AU  - Jiawei Liu
AU  - Ran Wang
AU  - Yunzhou Xie
AU  - Junqiao Zhao
AU  - Qiufeng Wang
AU  - Lihong Zhi
AU  - Jia Li
AU  - Wenda Li
PY  - 2026
UR  - https://arxiv.org/abs/2601.14027
ID  - 2601.14027
ER  -