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-Zitierstil (17. Ausg.)Liu, Junqi, et al. Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics. 2026.
MLA-Zitierstil (9. Ausg.)Liu, Junqi, et al. Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.