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
OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
arXiv 2023
from 3 papers
Jia Li
researcher
Jiawei Liu
Junqi Liu
Ran Wang
Zekai Zhu
Bolton Bailey
Chendong Song
Chenjun Xiao
Dehao Zhang
Ebony Zhang