Cite
Notes
Only stored in your browser.
Attribution
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
arXiv 2026
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
from 2 papers
Jia Li
researcher
Jiawei Liu
Junqi Liu
Marco Dos Santos
Ran Wang
Bolton Bailey
Chendong Song
Chenjun Xiao
Dehao Zhang
Ebony Zhang