Hugging Face's logo
LI Jia's picture
7 3 32

LI Jia

liyongsea
jatsalkes's profile picture atom1024's profile picture ShreckYe's profile picture
·

AI & ML interests

Code generation

Recent Activity

published a dataset 5 days ago
AI-MO/GeometryLeanBench
published a model 13 days ago
AI-MO/Kimina-Prover-RL-1.7B
published a dataset 13 days ago
AI-MO/Kimina-Prover-Promptset
View all activity

Organizations

Cardiologs Technologies's profile picture CodeParrot's profile picture BigCode's profile picture Project-Numina's profile picture