Zhaoyu Li
9 papers · 2022–2025 · 5 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 ↓
🌍
Conference Polyglot · Silver
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(25)
🗃️
Keyword Collector
(58)
Venues
Top co-authors
Research topics
Artificial Intelligence
(7)
Core AI
(6)
Machine Learning
(5)
Natural Language Processing
(3)
Optimization & Theory
(3)
Deep Learning
(2)
Mathematics & Optimization
(2)
Core Methods
(2)
Optimization
(2)
Resources & Methods
(2)
Applications
(1)
Architectures
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Learning Types
(1)
Keywords
large language model
(4)
belief propagation
(1)
first-order logic
(1)
symbolic reasoning
(1)
logical reasoning
(1)
sequential decision making
(1)
mathematical reasoning
(1)
theorem proving
(1)
prompt engineering
(1)
conditional generation
(1)
visual reasoning
(1)
semantic consistency
(1)
differentiable learning
(1)
bethe approximation
(1)
probabilistic inference
(1)
satisfiability problem
(1)
diffusion model
(1)
proximal operator
(1)
proof search
(1)
image generation
(1)
Papers
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
ACL 2025
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
Autoformalizing Euclidean Geometry
ICML 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
NeurIPS 2024
Learning Reliable Logical Rules with SATNet
NeurIPS 2023
Neuro-symbolic Learning Yielding Logical Constraints
NeurIPS 2023
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
NeurIPS 2022