arxiv:2504.11354
Stanislas Polu
spolu
AI & ML interests
None yet
Recent Activity
authored
a paper
1 day ago
Kimina-Prover Preview: Towards Large Formal Reasoning Models with
Reinforcement Learning
Organizations
Papers
1
models
0
None public yet
datasets
0
None public yet