Verifying Generalization in Deep Learning

Verifying Generalization in Deep Learning

11 February 2023

Michael Schapira

Papers citing "Verifying Generalization in Deep Learning"

19 / 19 papers shown

Title
Towards Robust LLMs: an Adversarial Robustness Measurement Framework Natan Levy Adiel Ashrov Guy Katz AAML 20 0 0 24 Apr 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 61 0 0 15 Mar 2025
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation Guy Amir Shahaf Bassan Guy Katz 42 2 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 32 2 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 32 9 0 10 Jun 2024
Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan Guy Amir Guy Katz 35 6 0 05 Jun 2024
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning Davide Corsi Davide Camponogara Alessandro Farinelli OffRL 36 1 0 30 May 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 39 7 0 22 May 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning Davide Corsi Guy Amir Guy Katz Alessandro Farinelli AAML 26 7 0 07 Feb 2024
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 17 15 0 31 Jul 2023
Towards Reliable Neural Specifications Chuqin Geng Nham Le Xiaojie Xu Zhaoyue Wang A. Gurfinkel X. Si AAML 26 10 0 28 Oct 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 22 5 0 23 Oct 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 82 37 0 26 May 2022
Bisimulations for Neural Network Reduction P. Prabhakar 26 6 0 07 Oct 2021
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 250 5,830 0 08 Jul 2016