Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations

19 January 2023

Papers citing "Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations"

4 / 4 papers shown

Title
The Topos of Transformer Networks Mattia Jacopo Villani Peter McBurney 26 0 0 27 Mar 2024
Unwrapping All ReLU Networks M. Villani Peter McBurney FAtt 55 3 0 16 May 2023
The Power of Typed Affine Decision Structures: A Case Study Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 12 3 0 28 Apr 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017