Zhengyu Li

11 papers · 2016–2026 · 6 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+1 more ↓

🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (19) 💎 Century Club · Bronze

🌈 Renaissance Researcher (5)

Venues

AAAI (4) CVPR (2) IJCAI (2) ICLR (1) NAACL (1) NeurIPS (1)

Top co-authors

Vijay Ganesh (4) Curtis Bright (4) Conor Duggan (2) Jilin Hu (2) Chenjuan Guo (2) Xiangfei Qiu (2) Xingjian Wu (2) Bin Yang (2) Ruifeng Li (1) XUAN TANG (1)

Research topics

Deep Learning (5) Mathematics & Optimization (4) Optimization (4) Computer Science (3) Computer Vision (3) Analysis (3) Foundations (3) Mathematics (3) Machine Learning (2) Architectures (2) Core Methods (2) Learning Types (2) Artificial Intelligence (1) Data Science & Analytics (1) Core AI (1)

Keywords

computer algebra (4) satisfiability solving (3) combinatorial optimization (3) ramsey theory (2) point cloud (1) 3d vision (1) anomaly detection (1) constraint satisfaction (1) boolean satisfiability (1) graph coloring (1) kernel selection (1) strategic reasoning (1) incomplete information games (1) 3d object classification (1) combinatorial search (1) 3d object detection (1) riemannian manifold (1) multivariate time series (1) monocular video (1) motion capture (1)

Papers

H^2A^2: Homogeneity-Aware and Heterogeneity-Aware Feature Perception for Unified Indoor 3D Object Detection CVPR 2026 MoCapAnything: Unified 3D Motion Capture for Arbitrary Skeletons from Monocular Videos CVPR 2026 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 + 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 A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024 Geodesic Self-Attention for 3D Point Clouds NeurIPS 2022 Improve Chinese Word Embeddings by Exploiting Internal Structure NAACL 2016