LI Jia
liyongsea
AI & ML interests
Code generation
Recent Activity
published a dataset 2 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