Zhaoyu Li
9 papers · 2022–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (5) π Cross-Pollinator (9) π Renaissance Researcher (5) πΊοΈ Taxonomy Completionist (24)
π§
Keyword Pioneer
Conferences
NIPS (5)
ACL (1)
CVPR (1)
ICLR (1)
ICML (1)
Top co-authors
Keywords
large language model
(2)
sequential decision-making
(1)
satisfiability problem
(1)
probabilistic inference
(1)
logical reasoning
(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)
first-order logic
(1)
belief propagation
(1)
diffusion model
(1)
proximal operator
(1)
automated theorem proving
(1)
formal language
(1)
image generation
(1)
Papers
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
Decoupling Training-Free Guided Diffusion by ADMM
CVPR 2025
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
ACL 2025
Autoformalizing Euclidean Geometry
ICML 2024
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
NIPS 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
NIPS 2024
Neuro-symbolic Learning Yielding Logical Constraints
NIPS 2023
Learning Reliable Logical Rules with SATNet
NIPS 2023
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
NIPS 2022