Haoze Wu
- Lemur: Integrating Large Language Models in Automated Program Verification
2023/10/07 by Haoze Wu, Clark Barrett, Wu, Haoze +3 · 18 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques
- Toward Certified Robustness Against Real-World Distribution Shifts
2022/06/08 by Haoze Wu, Teruhiro Tagomori, Wu, Haoze +15 · 3 citations
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Model Reduction and Neural Networks
- Convex Bounds on the Softmax Function with Applications to Robustness Verification
2023/03/03 by Dennis Wei, Wei, Dennis, Haoze Wu +9 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG)
- G2SAT: Learning to Generate SAT Formulas
2019/10/29 by Jiaxuan You, You, Jiaxuan, Haoze Wu +7 · 2 citations
Computer Science · #Data Visualization and Analytics #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Social and Information Networks (cs.SI) #Software Engineering Research
- Parallelization Techniques for Verifying Neural Networks
2020/04/17 by Haoze Wu, Wu, Haoze, Alex Ozdemir +17 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Radiation Effects in Electronics #Software Testing and Debugging Techniques
- Efficient Neural Network Analysis with Sum-of-Infeasibilities
2022/03/19 by Haoze Wu, Aleksandar Zeljić, Wu, Haoze +5 · 2 citations
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Optimization and Control (math.OC)
- Safe and Reliable Training of Learning-Based Aerospace Controllers
2024/07/09 by Udayan Mandal, Guy Amir, Mandal, Udayan +23 · 3 citations
Computer Science · Engineering · #Advanced Data Processing Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- ReCode: Updating Code API Knowledge with Reinforcement Learning
2025/06/25 by Haoze Wu, Yunzhi Yao, Wu, Haoze +5 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Lookahead Branching for Neural Network Verification
2026/07/19 by Liam Davis, Duo Zhou, Huan Zhang +3
#cs.LG #cs.AI #cs.LO