Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
7
4
33
LI Jia
liyongsea
Follow
pengli09's profile picture
chitanda's profile picture
HaimingW's profile picture
45 followers
ยท
14 following
liyongsea
AI & ML interests
Code generation
Recent Activity
upvoted
a
paper
7 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
liked
a Space
about 2 months ago
lm-provers/qed-nano-blogpost
liked
a model
2 months ago
lm-provers/QED-Nano
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
almost 2 years ago
Add citation
#1 opened almost 2 years ago by
lewtun
Load more