The Power of Typed Affine Decision Structures: A Case Study

28 April 2023

Papers citing "The Power of Typed Affine Decision Structures: A Case Study"

4 / 4 papers shown

Title
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations Maximilian Schlüter Gerrit Nolte Alnis Murtovi Bernhard Steffen 23 6 0 19 Jan 2023
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 287 5,837 0 08 Jul 2016