Yuhang DongPhD studentGroup Experience2022–PresentPhD studentPublicationsSearch publicationsVenueAll venuesAAAINeurIPS2 publicationsClear all filtersNo publications foundClear all filters2025A Complete Algorithm for Optimization Modulo Nonlinear Real ArithmeticAAAI 2025·Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian ZhangCitePDFCode2023Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement LearningNeurIPS 2023·Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian ZhangCite
