Toward Certified Robustness Against Real-World Distribution Shifts. - Haoze Wu 001; Teruhiro Tagomori; Alexander Robey; Fengjun Yang; Nikolai Matni; George J. Pappas; Hamed Hassani; Corina S. Pasareanu; Clark W. Barrett (SaTML, 2023)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. - Haoze Wu 001; Omri Isac; Aleksandar Zeljic; Teruhiro Tagomori; Matthew L. Daggitt; Wen Kokke; Idan Refaeli; Guy Amir; Kyle Julian; Shahaf Bassan; Pei Huang 002; Ori Lahav 002; et al. (CAV (2), 2024)