LI Jia
liyongsea
AI & ML interests
Code generation
Recent Activity
upvoted a paper 26 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics liked a Space 2 months ago
lm-provers/qed-nano-blogpost liked a model 3 months ago
lm-provers/QED-Nano