Zenan Li
13 papers · 2022–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (5) π§ Keyword Pioneer πΊοΈ Taxonomy Completionist (32) π Interdisciplinary Bridge π Cross-Pollinator (4)
π
Renaissance Researcher
(6)
π
Century Club
(13)
Conferences
NIPS (6)
ICLR (4)
CORL (1)
CVPR (1)
ICML (1)
Top co-authors
Keywords
graph neural network
(2)
large language model
(2)
mathematical reasoning
(2)
image generation
(1)
distributed training
(1)
theorem proving
(1)
variational inference
(1)
semantic consistency
(1)
markov chain monte carlo
(1)
message passing
(1)
deep neural network
(1)
graph structure learning
(1)
generative model
(1)
diffusion model
(1)
proximal operator
(1)
conditional generation
(1)
robustness certification
(1)
node classification
(1)
out-of-distribution detection
(1)
data poisoning
(1)
Papers
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
NIPS 2024
Uncertainty-Aware Decision Transformer for Stochastic Driving Environments
CORL 2024
Neuro-Symbolic Data Generation for Math Reasoning
NIPS 2024
Softened Symbol Grounding for Neuro-symbolic Systems
ICLR 2023
Learning with Logical Constraints but without Shortcut Satisfaction
ICLR 2023
Neuro-symbolic Learning Yielding Logical Constraints
NIPS 2023
ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs
ICLR 2023
On Collective Robustness of Bagging Against Data Poisoning
ICML 2022
NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classification
NIPS 2022
GraphDE: A Generative Framework for Debiased Learning and Out-of-Distribution Detection on Graphs
NIPS 2022
A Deep Learning Dataloader with Shared Data Preparation
NIPS 2022