Zhou, Duo

3 publications

ICLR 2026 DR-SAC: Distributionally Robust Soft Actor-Critic for Reinforcement Learning Under Uncertainty Mingxuan Cui, Duo Zhou, Yuxuan Han, Grani A. Hanasusanto, Qiong Wang, Huan Zhang, Zhengyuan Zhou

NeurIPS 2025 CLIP-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification Duo Zhou, Jorge Chavez, Hesun Chen, Grani A. Hanasusanto, Huan Zhang

NeurIPS 2024 Scalable Neural Network Verification with Branch-and-Bound Inferred Cutting Planes Duo Zhou, Christopher Brix, Grani A Hanasusanto, Huan Zhang