Yuhang Dong

4 papers · 2023–2026 · 2 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 · Bronze 🌉 Interdisciplinary Bridge · Bronze

Venues

AAAI (3) NeurIPS (1)

Top co-authors

Jian Zhang (3) Fuqi Jia (3) Feifei Ma (3) Rui Han (2) Minghao Liu (2) Pei Huang (2) Huangxing Lin (1) Tianpeng Liu (1) Xinghao Ding (1) Kunhang Lv (1)

Research topics

Artificial Intelligence (2) Core AI (2) Computer Vision (1) Deep Learning (1) Mathematics & Optimization (1) Reinforcement Learning (1) Domain-Specific (1) Learning Types (1) Mathematics (1) Methods (1) Optimization (1) Processing (1)

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)

Papers

LLM-Guided Quantified SMT Solving over Uninterpreted Functions AAAI 2026 A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic AAAI 2025 Unsupervised Pan-Sharpening via Mutually Guided Detail Restoration AAAI 2024 Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning NeurIPS 2023