Article
Kimina-Prover-RL
AI-MO
• • 17
Frederick Pu
UnluckyOrangutan
AI & ML interests
Automated theorem proving
Reinforcement learning
Computer Vision
Recent Activity
updated a model 5 days ago
UnluckyOrangutan/thomas-zhu-lean-premise-gguf published a model 5 days ago
UnluckyOrangutan/thomas-zhu-lean-premise-gguf updated a model 8 days ago
UnluckyOrangutan/joint-qwen-regression-ggufOrganizations
None yet
upvoted an article 11 months ago
upvoted an article about 1 year ago
Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI-MO
• • 56