Introduction to Neural Network Verification

21 September 2021

Papers citing "Introduction to Neural Network Verification"

10 / 10 papers shown

Title
Evaluation and Verification of Physics-Informed Neural Models of the Grad-Shafranov Equation Fauzan Nazranda Rizqan Matthew Hole Charles Gretton 36 0 0 29 Apr 2025
Neural Interactive Proofs Lewis Hammond Sam Adam-Day AAML 76 2 0 12 Dec 2024
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 65 1 0 14 Oct 2024
Mask in the Mirror: Implicit Sparsification Tom Jacobs R. Burkholz 32 3 0 19 Aug 2024
How should AI decisions be explained? Requirements for Explanations from the Perspective of European Law Benjamin Frész Elena Dubovitskaya Danilo Brajovic Marco F. Huber Christian Horz 33 6 0 19 Apr 2024
When to Trust AI: Advances and Challenges for Certification of Neural Networks M. Kwiatkowska Xiyue Zhang AAML 6 8 0 20 Sep 2023
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults Ayoosh Bansal Hunmin Kim Simon Yu Bo-wen Li N. Hovakimyan Marco Caccamo L. Sha AAML 14 4 0 04 Sep 2022
Verifiable Obstacle Detection Ayoosh Bansal Hunmin Kim Simon Yu Bo-Yi Li N. Hovakimyan Marco Caccamo L. Sha 9 6 0 30 Aug 2022
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 6 12 0 22 Mar 2022
Certifying Robustness to Programmable Data Bias in Decision Trees Anna P. Meyer Aws Albarghouthi Loris Dántoni 14 21 0 08 Oct 2021