Dong, Yuhang

4 publications

AAAI 2025 A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
AAAI 2024 Unsupervised Pan-Sharpening via Mutually Guided Detail Restoration Huangxing Lin, Yuhang Dong, Xinghao Ding, Tianpeng Liu, Yongxiang Liu
NeurIPS 2023 Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
ICCVW 2021 Time Lab's Approach to the Challenge on Computer Vision for Remote Physiological Measurement Yuhang Dong, Gongping Yang, Yilong Yin