Wu, Haoze

13 publications

ICLR 2026 Mirage or Method? How Model–Task Alignment Induces Divergent RL Conclusions Haoze Wu, Cheng Wang, Wenshuo Zhao, Junxian He

ICLR 2026 SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification Rocky Klopfenstein, Yang He, Andrew Tremante, Yuepeng Wang, Nina Narodytska, Haoze Wu

ICLR 2026 The Tool Decathlon: Benchmarking Language Agents for Diverse, Realistic, and Long-Horizon Task Execution Junlong Li, Wenshuo Zhao, Jian Zhao, Weihao Zeng, Haoze Wu, Xiaochen Wang, Rui Ge, Yuxuan Cao, Yuzhen Huang, Wei Liu, Junteng Liu, Zhaochen Su, Yiyang Guo, Fan Zhou, Lueyang Zhang, Juan Michelini, Xingyao Wang, Xiang Yue, Shuyan Zhou, Graham Neubig, Junxian He

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