Zhang, Yueling

3 publications

ICML 2024 Double Variance Reduction: A Smoothing Trick for Composite Optimization Problems Without First-Order Gradient Hao Di, Haishan Ye, Yueling Zhang, Xiangyu Chang, Guang Dai, Ivor Tsang

CVPR 2023 Boosting Verified Training for Robust Image Classifications via Abstraction Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

AAAI 2019 SAT-Based Explicit LTLf Satisfiability Checking Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi