Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Junqi, Zhou, Zihao, Zhu, Zekai, Santos, Marco Dos, He, Weikun, Liu, Jiawei, Wang, Ran, Xie, Yunzhou, Zhao, Junqiao, Wang, Qiufeng, Zhi, Lihong, Li, Jia, Li, Wenda
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2601.14027