Zenan Li
14 papers · 2022–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 ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (38) π Conference Polyglot Β· Silver ποΈ Keyword Collector (71) π Renaissance Researcher (6)
π₯
Unstoppable Β· Bronze
π
Century Club Β· Bronze
Top co-authors
Research topics
Artificial Intelligence
(11)
Core AI
(10)
Machine Learning
(9)
Optimization & Theory
(7)
Deep Learning
(4)
Learning Types Β· Machine Learning
(3)
Computer Science
(2)
Core Methods
(2)
Learning Paradigms
(2)
Learning Types Β· Deep Learning
(2)
Models
(2)
Techniques
(2)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Reinforcement Learning
(1)
Keywords
large language model
(4)
symbol grounding
(2)
neuro-symbolic learning
(2)
logical constraint
(2)
markov chain monte carlo
(2)
mathematical reasoning
(2)
graph neural network
(2)
neuro-symbolic reasoning
(2)
proof search
(2)
symbolic reasoning
(1)
best-first search
(1)
semantic consistency
(1)
formal verification
(1)
variational inference
(1)
neural network training
(1)
conditional generation
(1)
variational framework
(1)
constraint solving
(1)
data poisoning
(1)
distributed training
(1)
Papers
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
OSDI 2026
Decoupling Training-Free Guided Diffusion by ADMM
CVPR 2025
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
NeurIPS 2024
Neuro-Symbolic Data Generation for Math Reasoning
NeurIPS 2024
Uncertainty-Aware Decision Transformer for Stochastic Driving Environments
CoRL 2024
Learning with Logical Constraints but without Shortcut Satisfaction
ICLR 2023
Neuro-symbolic Learning Yielding Logical Constraints
NeurIPS 2023
ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs
ICLR 2023
Softened Symbol Grounding for Neuro-symbolic Systems
ICLR 2023
A Deep Learning Dataloader with Shared Data Preparation
NeurIPS 2022
GraphDE: A Generative Framework for Debiased Learning and Out-of-Distribution Detection on Graphs
NeurIPS 2022
NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classification
NeurIPS 2022
On Collective Robustness of Bagging Against Data Poisoning
ICML 2022