Verification-Aided Deep Ensemble Selection

v1v2 (latest)

Verification-Aided Deep Ensemble Selection

8 February 2022

Michael Schapira

ArXiv (abs)PDF HTML

Papers citing "Verification-Aided Deep Ensemble Selection"

17 / 17 papers shown

Title
Towards Robust LLMs: an Adversarial Robustness Measurement Framework Natan Levy Adiel Ashrov Guy Katz AAML 81 0 0 24 Apr 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 162 0 0 15 Mar 2025
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation Guy Amir Shahaf Bassan Guy Katz 75 3 0 07 Aug 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Kerianne Hobbs Milan Ganai Tobey Shim Guy Katz Clark Barrett 74 3 0 09 Jul 2024
Verification-Guided Shielding for Deep Reinforcement Learning Davide Corsi Guy Amir Andoni Rodríguez César Sánchez Guy Katz Roy Fox AAML OffRL 111 9 0 10 Jun 2024
Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan Guy Amir Guy Katz 96 10 0 05 Jun 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Michael Durling Milan Ganai Tobey Shim Guy Katz Clark W. Barrett 64 8 0 22 May 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning Davide Corsi Guy Amir Guy Katz Alessandro Farinelli AAML 58 7 0 07 Feb 2024
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 98 16 0 31 Jul 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 101 2 0 29 May 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 79 14 0 11 Feb 2023
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 101 13 0 06 Dec 2022
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks Shahaf Bassan Guy Katz FAtt AAML 107 26 0 25 Oct 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 106 7 0 23 Oct 2022
On Optimizing Back-Substitution Methods for Neural Network Verification Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 94 5 0 16 Aug 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 100 20 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 162 37 0 26 May 2022

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.