LI Jia's picture

7 3 33

LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

liked a model 1 day ago

lm-provers/QED-Nano

published a dataset 2 months ago

AI-MO/aops

published a dataset 4 months ago

AI-MO/olympiads

View all activity

Organizations

upvoted a collection 10 months ago

Kimina Prover Preview

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

upvoted a paper about 1 year ago

The Lessons of Developing Process Reward Models in Mathematical Reasoning

Paper • 2501.07301 • Published Jan 13, 2025 • 99

upvoted an article over 1 year ago

Article

How NuminaMath Won the 1st AIMO Progress Prize

+6

Jul 11, 2024

•

126