A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks

26 January 2023

Papers citing "A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks"

4 / 4 papers shown

Title
AI-Powered Urban Transportation Digital Twin: Methods and Applications Xuan Di Yongjie Fu Mehmet K.Turkcan Mahshid Ghasemi Zhaobin Mo Chengbo Zang Abhishek Adhikari Z. Kostić Gil Zussman AI4CE 31 0 0 30 Dec 2024
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics David Boetius Stefan Leue 23 0 0 24 May 2024
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 284 5,835 0 08 Jul 2016