Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Paper • 2504.11354 • Published • 6
Thibaut Barroyer
thibautbar
AI & ML interests
None yet
Recent Activity
published a model 1 day ago
thibautbar/nanolm-0.3B-instruct published a model 1 day ago
thibautbar/nanolm-1.4B published a model 1 day ago
thibautbar/nanolm-0.3BOrganizations
authored a
paper 9 months ago