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

upvoted a collection 3 months ago

Kimina Prover Preview

State-of-the-Art Models for Formal Mathematical Reasoning • 5 items • Updated Apr 28 • 33

upvoted a paper 6 months ago

The Lessons of Developing Process Reward Models in Mathematical Reasoning

Paper • 2501.07301 • Published Jan 13 • 99

upvoted an article about 1 year ago

Article

How NuminaMath Won the 1st AIMO Progress Prize

By

and 7 others •

Jul 11, 2024

• 122