Wu, Haoze

10 publications

ICLRW 2025 Synthesis and Verification of String Stable Control for Interconnected Systems via Neural sISS Certificate Jingyuan Zhou, Haoze Wu, Longhao Yan, Kaidi Yang

ICLR 2024 Lemur: Integrating Large Language Models in Automated Program Verification Haoze Wu, Clark Barrett, Nina Narodytska

AAAI 2024 Towards Efficient Verification of Quantized Neural Networks Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

AISTATS 2023 Convex Bounds on the SoftMax Function with Applications to Robustness Verification Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark Barrett, Eitan Farchi

MLJ 2023 Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer

NeurIPSW 2023 Lemur: Integrating Large Language Models in Automated Program Verification Haoze Wu, Clark Barrett, Nina Narodytska

NeurIPS 2023 VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu, Haoze Wu, Clark Barrett

IJCAI 2020 Multi-Scale Spatial-Temporal Integration Convolutional Tube for Human Action Recognition Haoze Wu, Jiawei Liu, Xierong Zhu, Meng Wang, Zheng-Jun Zha

NeurIPS 2019 G2SAT: Learning to Generate SAT Formulas Jiaxuan You, Haoze Wu, Clark Barrett, Raghuram Ramanujan, Jure Leskovec

IJCAI 2019 Mutually Reinforced Spatio-Temporal Convolutional Tube for Human Action Recognition Haoze Wu, Jiawei Liu, Zheng-Jun Zha, Zhenzhong Chen, Xiaoyan Sun