Liu, J., Zhou, Z., Zhu, Z., Santos, M. D., He, W., Liu, J., . . . Li, W. (2026). Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics.
Chicago Style (17th ed.) CitationLiu, Junqi, et al. Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics. 2026.
MLA (9th ed.) CitationLiu, Junqi, et al. Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics. 2026.
Warning: These citations may not always be 100% accurate.