Zhengyu Li
9 papers
· 2016–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(5)
π
Academic Marathon
(9)
π
Renaissance Researcher
(7)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (4)
IJCAI (2)
ICLR (1)
NAACL (1)
NIPS (1)
Top co-authors
Keywords
computer algebra
(4)
satisfiability solving
(3)
combinatorial optimization
(3)
ramsey theory
(2)
point cloud
(1)
3d vision
(1)
constraint satisfaction
(1)
graph coloring
(1)
strategic reasoning
(1)
incomplete information games
(1)
3d object classification
(1)
riemannian manifold
(1)
combinatorial search
(1)
supervised fine-tuning
(1)
proof certificate
(1)
point cloud processing
(1)
irregular time series
(1)
multivariate time series forecasting
(1)
geodesic distance
(1)
quantum foundation
(1)