I agree that this site is using cookies. You can find further informations here.
X
Wu, Haoze
23  results:
Bookchapter (Online) X
Search for persons X
?
1

Soy: An Efficient MILP Solver for Piecewise-Affine Systems:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Wu, Haoze ; Wu, Min ; Sadigh, Dorsa. - p. 6281-6288 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Lightweight Online Learning for Sets of Related Problems in..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Wu, Haoze ; Hahn, Christopher ; Lonsing, Florian... - p. 1-11 , 2023
Link: https://doi.org/10.34727..
 
?
3

Toward Certified Robustness Against Real-World Distribution..:

, In: 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML),
Wu, Haoze ; Tagomori, Teruhiro ; Robey, Alexander... - p. 537-553 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Nair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze.. - p. 84-88 , 2022
Link: https://doi.org/10.34727..
 
?
5

On Optimizing Back-Substitution Methods for Neural Network ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Zelazny, Tom ; Wu, Haoze ; Barrett, Clark. - p. 17-26 , 2022
Link: https://doi.org/10.34727..
 
?
6

Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Wu, Haoze ; Zeljić, Aleksandar ; Katz, Guy. - p. 143-163 , 2022
Link: https://doi.org/10.1007/..
 
?
7

An SMT-Based Approach for Verifying Binarized Neural Networ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Amir, Guy ; Wu, Haoze ; Barrett, Clark. - p. 203-222 , 2021
Link: https://doi.org/10.1007/..
 
?
8

DeepCert: Verification of Contextually Relevant Robustness ..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Paterson, Colin ; Wu, Haoze ; Grese, John... - p. 3-17 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Towards Verification of Neural Networks for Small Unmanned ..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Irfan, Ahmed ; Julian, Kyle D. ; Wu, Haoze... - p. 1-10 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Parallelization Techniques for Verifying Neural Networks:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar... - p. 128-137 , 2020
Link: https://doi.org/10.34727..
 
?
11

ASTA-Net: Adaptive Spatio-Temporal Attention Network for Pe..:

, In: Proceedings of the 28th ACM International Conference on Multimedia,
Zhu, Xierong ; Liu, Jiawei ; Wu, Haoze.. - p. 1706-1715 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Cross-Fiber Spatial-Temporal Co-enhanced Networks for Video..:

, In: Proceedings of the 27th ACM International Conference on Multimedia,
Wu, Haoze ; Zha, Zheng-Jun ; Wen, Xin... - p. 620-628 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

The Marabou Framework for Verification and Analysis of Deep..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Katz, Guy ; Huang, Derek A. ; Ibeling, Duligur... - p. 443-452 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Improving SAT-solving with Machine Learning:

, In: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education,
Wu, Haoze - p. 787-788 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Junction Temperature and Current Synchronous Sensing for Si..:

, In: 2023 11th International Conference on Power Electronics and ECCE Asia (ICPE 2023 - ECCE Asia),
Jin, Yuting ; Ye, Shuoyu ; Wu, Qiang... - p. 896-901 , 2023
Link: https://doi.org/10.23919..
 
1-15