Min Wu

Most-cited papers

1. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

   Hao-Ze Wu, Omri Isac, Aleksandar Zelji'c, Teruhiro Tagomori +13 more

   2024International Conference on Computer Aided Verification130 citations

   Semantic Scholar

   Save

2. Towards Efficient Verification of Quantized Neural Networks

   Pei Huang, Hao-Ze Wu, Yuting Yang, Ieva Daukantas +3 more

   2023AAAI Conference on Artificial Intelligence29 citations

   Semantic Scholar

   Save

3. Parameterized Abstract Interpretation for Transformer Verification

   Pei Huang, Dennis Wei, Omri Isac, Hao-Ze Wu +2 more

   2026AAAI Conference on Artificial Intelligence5 citations Open access

   Semantic Scholar

   Save

4. Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection

   Min Wu, Xiaofu Li, Hao-Ze Wu, Clark W. Barrett

   2024arXiv.org4 citations

   Semantic Scholar

   Save

5. Efficiently Computing Compact Formal Explanations

   Min Wu, Xiaofu Li, Hao-Ze Wu, Clark W. Barrett

   2024AAAI Conference on Artificial Intelligence3 citations Open access

   Semantic Scholar

   Save

6. Parallel Verification for δ-Equivalence of Neural Network Quantization

   Pei Huang, Yuting Yang, Hao-Ze Wu, Ieva Daukantas +3 more

   2024SAIV1 citations

   Semantic Scholar

   Save

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

   Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett

   2023IEEE/RJS International Conference on Intelligent RObots and Systems1 citations Open access

   Semantic Scholar

   Save

8. Policy-Specific Abstraction Predicate Selection in Neural Policy Safety Verification

   Marcel Vinzent, Min Wu, Hao-Ze Wu, J. Hoffmann

   0 citations

   Semantic Scholar

   Save