Article
Kimina-Prover-RL
AI-MO
• • 17
Marco Dos Santos
dsantosmarco
AI & ML interests
Formal mathematical reasoning, using language modelling and reinforcement learning.
Recent Activity
updated a dataset 2 days ago
dsantosmarco/taco-difficulty-results published a dataset 2 days ago
dsantosmarco/taco-difficulty-results upvoted an article about 1 year ago
Kimina-Prover-RLOrganizations
published an article about 1 year ago
published an article about 1 year ago
Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI-MO
• • 56