Andrew (Haoze) Wu
Ph.D. Student in Computer Science, admitted Autumn 2018
All Publications
-
Toward Certified Robustness Against Real-World Distribution Shifts
IEEE COMPUTER SOC. 2023: 537-553
View details for DOI 10.1109/SaTML54575.2023.00042
View details for Web of Science ID 001012311500032
-
Scalable Verification of GNN-Based Job Schedulers
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
2022; 6 (OOPSLA)
View details for DOI 10.1145/3563325
View details for Web of Science ID 001083750200039
-
Efficient Neural Network Analysis with Sum-of-Infeasibilities
SPRINGER INTERNATIONAL PUBLISHING AG. 2022: 143-163
View details for DOI 10.1007/978-3-030-99524-9_8
View details for Web of Science ID 000782396700008
-
<i>Proof</i>-<i>Stitch</i>: Proof Combination for Divide-and-Conquer SAT Solvers
TU Wien Acad Press. 2022: 84-88
View details for DOI 10.34727/2022/isbn.978-3-85448-053-2_14
View details for Web of Science ID 001062691400014
-
On Optimizing Back-Substitution Methods for Neural Network Verification
TU Wien Acad Press. 2022: 17-26
View details for DOI 10.34727/2022/isbn.978-3-85448-053-2_7
View details for Web of Science ID 001062691400007
-
Global optimization of objective functions represented by ReLU networks
MACHINE LEARNING
2021
View details for DOI 10.1007/s10994-021-06050-2
View details for Web of Science ID 000709232800001
-
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
SPRINGER INTERNATIONAL PUBLISHING AG. 2021: 3-17
View details for DOI 10.1007/978-3-030-83903-1_5
View details for Web of Science ID 000696703000001
-
Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance
IEEE. 2020
View details for Web of Science ID 000646035600090
-
G2SAT: Learning to Generate SAT Formulas
NEURAL INFORMATION PROCESSING SYSTEMS (NIPS). 2019
View details for Web of Science ID 000535866902021
-
The Marabou Framework for Verification and Analysis of Deep Neural Networks
SPRINGER INTERNATIONAL PUBLISHING AG. 2019: 443–52
View details for DOI 10.1007/978-3-030-25540-4_26
View details for Web of Science ID 000491468000026