LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

liked a dataset 7 days ago

MathArena/arxivmath-0526_outputs

liked a Space 14 days ago

ml-intern-explorers/efficient-optimizer-dashboard

upvoted a paper 3 months ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

View all activity

Organizations

New activity in AI-MO/olympiads over 1 year ago

Update olympiads-ref.py

#7 opened over 1 year ago by

Add data for asian pacific mathematics olympiad (APMO)

#2 opened over 1 year ago by

New activity in AI-MO/NuminaMath-7B-TIR almost 2 years ago

Add citation

#1 opened almost 2 years ago by