LI Jia's picture

7 3 32

LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

published a dataset 20 days ago

AI-MO/olympiads-ref

published a dataset 29 days ago

AI-MO/olympiads-ref-base

published a dataset 3 months ago

AI-MO/GeometryLeanBench

View all activity

Organizations

upvoted a collection 7 months ago

Kimina Prover Preview

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

upvoted a paper 10 months ago

The Lessons of Developing Process Reward Models in Mathematical Reasoning

Paper • 2501.07301 • Published Jan 13 • 99

upvoted an article over 1 year ago

Article

How NuminaMath Won the 1st AIMO Progress Prize

Jul 11, 2024

•

122