LI Jia
liyongsea
AI & ML interests
Code generation
Recent Activity
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 liked a model 3 months ago
lm-provers/QED-Nano