Kimina Prover Preview
Collection
State-of-the-Art Models for Formal Mathematical Reasoning
•
5 items
•
Updated
•
31
Hugues de Saxcé
desaxce
AI & ML interests
None yet
Recent Activity
liked
a dataset
19 days ago
nvidia/OpenMathReasoning
authored
a paper
about 1 month ago
Kimina-Prover Preview: Towards Large Formal Reasoning Models with
Reinforcement Learning
liked
a model
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-671B
Organizations
desaxce's activity
upvoted
a
collection
about 2 months ago
upvoted
an
article
11 months ago
Article
How NuminaMath Won the 1st AIMO Progress Prize
By
and 7 others
•
•
120
upvoted
an
article
about 1 year ago
Article
Let's talk about LLM evaluation
By
•
•
175