Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
7
3
33
LI Jia
liyongsea
Follow
wenzw's profile picture
xkjack's profile picture
lijungeometry's profile picture
45 followers
ยท
14 following
liyongsea
AI & ML interests
Code generation
Recent Activity
liked
a Space
about 1 month ago
lm-provers/qed-nano-blogpost
liked
a model
about 2 months ago
lm-provers/QED-Nano
published
a dataset
4 months ago
AI-MO/aops
View all activity
Organizations
liyongsea
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
New activity in
AI-MO/olympiads
over 1 year ago
Update olympiads-ref.py
#7 opened over 1 year ago by
LxYxvv
Add data for asian pacific mathematics olympiad (APMO)
1
#2 opened over 1 year ago by
LxYxvv
New activity in
AI-MO/NuminaMath-7B-TIR
over 1 year ago
Add citation
#1 opened over 1 year ago by
lewtun
Load more