@article{numinaleanagentanopenandgeneralagenticre,
  title = {Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics},
  author = {Junqi Liu and Zihao Zhou and Zekai Zhu and Marco Dos Santos and Weikun He and Jiawei Liu and Ran Wang and Yunzhou Xie and Junqiao Zhao and Qiufeng Wang and Lihong Zhi and Jia Li and Wenda Li},
  year = {2026},
  eprint = {2601.14027},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2601.14027},
}