Yuhang Dong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | LLM-Guided Quantified SMT Solving over Uninterpreted Functions. | Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2025 | AAAI | A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. | Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2025 | IROS | DISCOVERSE: Efficient Robot Simulation in Complex High-Fidelity Environments. | 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 |
| 2024 | AAAI | Unsupervised Pan-Sharpening via Mutually Guided Detail Restoration. | Huangxing Lin, Yuhang Dong, Xinghao Ding, Tianpeng Liu, Yongxiang Liu |
| 2017 | IGARSS | Golomb-Rice coding parameter learning using deep belief network for hyperspectral image compression. | Hongda Shen, W. David Pan, Yuhang Dong, Zhuocheng Jiang |
| 2016 | PCS | Lossless compression of curated erythrocyte images using deep autoencoders for malaria infection diagnosis. | Hongda Shen, W. David Pan, Yuhang Dong, Mohammad Alim |