Zhaoyu Li
9 papers
· 2022–2025
· 5 conferences
· across top CS/AI conferences
Achievements
π
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
Autoformalizing Euclidean Geometry
ICML 2024