Hugging Face's logo
LI Jia's picture
7 4 33

LI Jia

liyongsea
CHL0e's profile picture ypwang61's profile picture atom1024's profile picture
·

AI & ML interests

Code generation

Recent Activity

published a dataset about 1 month ago
AI-MO/B2-UniMath
upvoted a paper 2 months ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
liked a Space 4 months ago
lm-provers/qed-nano-blogpost
View all activity

Organizations

Cardiologs Technologies's profile picture CodeParrot's profile picture BigCode's profile picture Project-Numina's profile picture Hugging Face Biology Research's profile picture