Zhengyu Li
9 papers · 2016–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
๐ 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)
Papers
Rethinking Irregular Time Series Forecasting: A Simple Yet Effective Baseline
AAAI 2026
CATCH: Channel-Aware Multivariate Time Series Anomaly Detection via Frequency Patching
ICLR 2025
PokerBench: Training Large Language Models to Become Professional Poker Players
AAAI 2025
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems
IJCAI 2025
A SAT Solver + Computer Algebra Attack on the Minimum KochenโSpecker Problem
IJCAI 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
AAAI 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
AAAI 2024
Geodesic Self-Attention for 3D Point Clouds
NIPS 2022
Improve Chinese Word Embeddings by Exploiting Internal Structure
NAACL 2016