LI Jia's picture

7 3 29

LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

liked a model 3 days ago

moonshotai/Kimi-K2-Instruct

published an article 5 days ago

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

published a model 5 days ago

AI-MO/Kimina-Prover-Distill-1.7B

View all activity

Organizations

published an article 5 days ago

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

By

and 17 others •

5 days ago

• 35

published an article about 1 year ago

Article

How NuminaMath Won the 1st AIMO Progress Prize

By

and 7 others •

Jul 11, 2024

• 122