Fetching the paper…
Reading the bibliography…
The impressive results of modern neural networks partly come from their non linear behaviour.
“Complexity of Linear Regions in Deep Networks”, 2019
Boris Hanin and David Rolnick · 1901
Earlier work this paper cites.
“Imperceptible, Robust, and Targeted Adversarial Examples for Automatic Speech Recognition”, 2019
Yao Qin et al · 1903
Earlier work this paper cites.
“Deep ReLU Networks Have Surprisingly Few Activation Patterns”, 2019, pp. 1–10
Boris Hanin and David Rolnick · 1906
Earlier work this paper cites.
“Z3: An Efficient SMT Solver”
Leonardo de Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Nicolas Papernot, Patrick McDaniel and Ian Goodfellow · 2016
Earlier work this paper cites.
“Stealing Machine Learning Models via Prediction APIs”, 2016, pp. 601–618
Florian Tramèr et al · 2016
Earlier work this paper cites.
“An Introduction to ACAS Xu and the Challenges Ahead”
Guido Manfredi and Yannick Jestin · 2016
Earlier work this paper cites.
“Membership Inference Attacks Against Machine Learning Models”
Reza Shokri, Marco Stronati, Congzheng Song and Vitaly Shmatikov · 2017
Earlier work this paper cites.
“Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks”
Guy Katz et al · 2017
Earlier work this paper cites.
“Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks”, 2017
Ruediger Ehlers · 2017
Cited alongside, same era.
“Evaluating Robustness of Neural Networks with Mixed Integer Programming”, 2017
Vincent Tjeng, Kai Xiao and Russ Tedrake · 2017
Cited alongside, same era.
“A Unified View of Piecewise Linear Neural Network Verification”, 2017
Rudy Bunel et al · 2017
Cited alongside, same era.
“The SMT-LIB Standard”, 2017, pp. 104
Clark Barrett, Pascal Fontaine and Aaron Stump · 2017
Cited alongside, same era.
“ShapeShifter: Robust Physical Adversarial Attack on Faster R-CNN Object Detector”, 2018
Shang-Tse Chen, Cory Cornelius, Jason Martin and Duen Chau · 2018
“The Marabou Framework for Verification and Analysis of Deep Neural Networks”
Guy Katz et al · 2019
Later among the works it cites.
“CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks”
Akhilan Boopathy et al · 2019
Later among the works it cites.
“An Abstract Domain for Certifying Neural Networks”
Gagandeep Singh, Timon Gehr, Markus Püschel and Martin Vechev · 2019
Later among the works it cites.
“Boosting Robustness Certification of Neural Networks”
Gagandeep Singh and Timon Gehr · 2019
Later among the works it cites.
“Universal Approximation with Certified Networks”
Maximilian Baader, Matthew Mirman and Martin Vechev · 2020
Later among the works it cites.
“Improved Geometric Path Enumeration for Verifying ReLU Neural Networks”
Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs and Taylor. Johnson · 2020
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
“Robustness May Be at Odds with Accuracy”, 2018
Dimitris Tsipras et al · 2018
Cited alongside, same era.
“Bounding and Counting Linear Regions of Deep Neural Networks”, 2018
Thiago Serra, Christian Tjandraatmadja and Srikumar Ramalingam · 2018
Cited alongside, same era.
“Formal Security Analysis of Neural Networks Using Symbolic Intervals”, 2018
Shiqi Wang et al · 2018
Cited alongside, same era.
Later among the works it cites.
“Gurobi Optimizer Reference Manual”, 2021
LLC Gurobi · 2021
Closest in time.
“Provable Robustness of ReLU Networks via Maximization of Linear Regions”
Francesco Croce, Maksym Andriushchenko and Matthias Hein · 2066
Closest in time.