Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Paper
•
2504.11354
•
Published
•
6
Haiming Wang
HaimingW
AI & ML interests
None yet
Recent Activity
published
an
article
10 days ago
Kimina-Prover-RL
liked
a dataset
20 days ago
INSAIT-Institute/OPC
Organizations
upvoted
2
papers
4 months ago