Article
Kimina-Prover-RL
•
13
LI Jia
liyongsea
AI & ML interests
Code generation
Organizations
published
an
article
6 months ago
published
an
article
7 months ago
Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
•
54
published
an
article
over 1 year ago
Article
How NuminaMath Won the 1st AIMO Progress Prize
-
- +6
•
126
published
an
article
over 1 year ago
Article
How NuminaMath Won the 1st AIMO Progress Prize
-
-
- +6
•
126