LI Jia

liyongsea

Code generation

liked a model 5 days ago

lm-provers/QED-Nano

published a dataset 2 months ago

AI-MO/aops

published a dataset 4 months ago

AI-MO/olympiads

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

#7 opened about 1 year ago by

#2 opened about 1 year ago by

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

#1 opened over 1 year ago by

liyongsea's activity