arxiv:2504.11354
Stanislas Polu
spolu
AI & ML interests
None yet
Recent Activity
authored
a paper
about 2 months ago
Kimina-Prover Preview: Towards Large Formal Reasoning Models with
Reinforcement Learning
Organizations
