Scholar
Jia Li
Google Scholar ID: aX-JO4cAAAAJ
Unknown affiliation
Natural Language Processing
Machine Learning
Deep Learning
Deep Generative Models
AGI
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
178
H-index
5
i10-index
4
Publications
6
Co-authors
0
Publications
2 items
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
2026
Cited
0
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
2026
Cited
2
