Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Paper • 2504.11354 • Published • 7
Haiming Wang
HaimingW
AI & ML interests
None yet
Recent Activity
updated a model about 8 hours ago
HaimingW/qwen2.5-1.5b-psammophyte-sft published a model about 8 hours ago
HaimingW/qwen2.5-1.5b-psammophyte-sft updated a model 1 day ago
HaimingW/qwen2.5-1.5b-faithful-summarizationOrganizations
None yet
upvoted 2
papers about 1 year ago