Andrew (Haoze) Wu

All Publications

• Toward Certified Robustness Against Real-World Distribution Shifts Wu, H., Tagomori, T., Robey, A., Yang, F., Matni, N., Pappas, G., Hassani, H., Pasareanu, C., Barrett, C., IEEE 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 Wu, H., Barrett, C., Sharif, M., Narodytska, N., Singh, G. 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 Wu, H., Zeljic, A., Katz, G., Barrett, C., Fisman, D., Rosu, G. 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 Nair, A., Chattopadhyay, S., Wu, H., Ozdemir, A., Barrett, C., Griggio, A., Rungta, N. 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 Zelazny, T., Wu, H., Barrett, C., Katz, G., Griggio, A., Rungta, N. 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 Strong, C. A., Wu, H., Zeljic, A., Julian, K. D., Katz, G., Barrett, C., Kochenderfer, M. J. 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 Paterson, C., Wu, H., Grese, J., Calinescu, R., Pasareanu, C. S., Barrett, C., Habli, Sujan, M., Bitsch, F. 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 Irfan, A., Julian, K. D., Wu, H., Barrett, C., Kochenderfer, M. J., Meng, B., Lopez, J., IEEE IEEE. 2020

  View details for Web of Science ID 000646035600090

• G2SAT: Learning to Generate SAT Formulas You, J., Wu, H., Barrett, C., Ramanujan, R., Leskovec, J., Wallach, H., Larochelle, H., Beygelzimer, A., d'Alche-Buc, F., Fox, E., Garnett, R. 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 Katz, G., Huang, D. A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S., Wu, H., Zeljic, A., Dill, D. L., Kochenderfer, M. J., Barrett, C., Dillig, Tasiran, S. 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