Set-Based Training for Neural Network Verification

26 January 2024

Papers citing "Set-Based Training for Neural Network Verification"

4 / 4 papers shown

Title
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning Manuel Wendl Lukas Koller Tobias Ladner Matthias Althoff OOD OffRL 30 0 0 17 Aug 2024
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 19 32 0 06 Jul 2022
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,832 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 256 3,108 0 04 Nov 2016