Yuhang Dong

5 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3 ACM MM ×1 IROS ×1

Frequent coauthors

Rui Han

×2

Fuqi Jia

×2

Feifei Ma

×2

Jian Zhang

×2

Xinghao Ding

×2

Kunhang Lv

×1

Pei Huang

×1

Minghao Liu

×1

Yufei Jia

×1

Guangyu Wang

×1

Junzhe Wu

×1

Yupei Zeng

×1

Papers

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
AAAI 2026 ·
Kunhang Lv
, Yuhang Dong,
Rui Han
,
Fuqi Jia
,
Feifei Ma
,
Jian Zhang
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025 ·
Fuqi Jia
, Yuhang Dong,
Rui Han
,
Pei Huang
,
Minghao Liu
,
Feifei Ma
,
Jian Zhang
DISCOVERSE: Efficient Robot Simulation in Complex High-Fidelity Environments
IROS 2025 ·
Yufei Jia
,
Guangyu Wang
, Yuhang Dong,
Junzhe Wu
,
Yupei Zeng
,
Haonan Lin
,
Zifan Wang
,
Haizhou Ge
,
Weibin Gu
,
Kairui Ding
,
Zike Yan
,
Yunjie Cheng
,
Yue Li
,
Ziming Wang
,
Chuxuan Li
,
Wei Sui
,
Lu Shi
,
Guanzhong Tian
,
Ruqi Huang
,
Guyue Zhou
Efficient Perceiving Local Details via Adaptive Spatial-Frequency Information Integration for Multi-focus Image Fusion
ACM MM 2024 ·
Jingjia Huang
,
Jingyan Tu
,
Ge Meng
,
Yingying Wang
, Yuhang Dong,
Xiaotong Tu
,
Xinghao Ding
,
Yue Huang
Unsupervised Pan-Sharpening via Mutually Guided Detail Restoration
AAAI 2024 ·
Huangxing Lin
, Yuhang Dong,
Xinghao Ding
,
Tianpeng Liu
,
Yongxiang Liu