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

• 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

• 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