Proof Minimization in Neural Network Verification

Lecture notes in computer science 2026

View at publisher

Authors: Omri Isac, Idan Refaeli, Haoze Wu, C. BARRETT, Guy Katz

DOI: 10.1007/978-3-032-15700-3_6

Cited by: 2

References: 49

Fields of Study & Subjects

Adversarial Robustness in Machine Learning Explainable Artificial Intelligence (XAI) Advanced Neural Network Applications

References 49