LI Jia

liyongsea

Code generation

published a dataset about 15 hours ago

AI-MO/olympiads-ref

published a dataset 10 days ago

AI-MO/olympiads-ref-base

published a dataset 2 months ago

AI-MO/GeometryLeanBench

New activity in AI-MO/olympiads-ref 11 months ago

#7 opened 11 months ago by

#2 opened 11 months ago by

New activity in AI-MO/NuminaMath-7B-TIR over 1 year ago

#1 opened over 1 year ago by

liyongsea's activity