Yuhang Dong
4 papers
· 2023–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (3)
NIPS (1)
Top co-authors
Keywords
smt solving
(2)
image restoration
(1)
multispectral imaging
(1)
automated reasoning
(1)
image super-resolution
(1)
image deblurring
(1)
symbolic computation
(1)
multispectral image
(1)
conflict-driven clause learning
(1)
large language model
(1)
graph neural network
(1)
branching heuristic
(1)
uninterpreted function
(1)
cylindrical algebraic decomposition
(1)
optimization modulo theories
(1)
variable order
(1)
nonlinear real arithmetic
(1)
cylindrical algebraic covering
(1)
unsupervised learning
(1)
quantified formula
(1)