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

LI Jia

liyongsea
altrouge301's profile picture xkjack's profile picture lijungeometry's profile picture
·

AI & ML interests

Code generation

Recent Activity

published a dataset 8 days ago
AI-MO/B2-UniMath
upvoted a paper about 1 month ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
liked a Space 3 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