Fetching the paper…
Reading the bibliography…
Neural networks have demonstrated considerable success on a wide variety of real-world problems.
Convex Optimization
Stephen Boyd and Lieven Vandenberghe · 2004
Earlier work this paper cites.
Introduction to Interval Analysis
Ramon E Moore, R Baker Kearfott, and Michael J Cloud · 2009
Earlier work this paper cites.
GLPK - GNU Linear Programming kit, Jun 2012
Andrew Makhorin · 2012
Earlier work this paper cites.
Dropout: A simple way to prevent neural networks from overfitting
Nitish Srivastava, Geoffrey Hinton, Alex Krizhevsky, Ilya Sutskever, and Ruslan Salakhutdinov · 2014
Earlier work this paper cites.
Intriguing properties of neural networks
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus · 2014
Earlier work this paper cites.
Explaining and harnessing adversarial examples
Ian J Goodfellow, Jonathon Shlens, and Christian Szegedy · 2015
Earlier work this paper cites.
Batch normalization: Accelerating deep network training by reducing internal covariate shift
Sergey Ioffe and Christian Szegedy · 2015
Earlier work this paper cites.
Towards verification of artificial neural networks
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, and Bernd Becker · 2015
Earlier work this paper cites.
Mixed integer linear programming formulation techniques
Juan Pablo Vielma · 2015
Earlier work this paper cites.
Measuring neural net robustness with constraints
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, and Antonio Criminisi · 2016
Earlier work this paper cites.
Deep compression: Compressing deep neural networks with pruning, trained quantization and huffman coding
Song Han, Huizi Mao, and William J Dally · 2016
Earlier work this paper cites.
Deep residual learning for image recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun · 2016
Earlier work this paper cites.
Distillation as a defense to adversarial perturbations against deep neural networks
Nicolas Papernot, Patrick McDaniel, Xi Wu, Somesh Jha, and Ananthram Swami · 2016
Earlier work this paper cites.
Julia: A fresh approach to numerical computing
Jeff Bezanson, Alan Edelman, Stefan Karpinski, and Viral B Shah · 2017
Earlier work this paper cites.
Towards evaluating the robustness of neural networks
Nicholas Carlini and David Wagner · 2017
Cited alongside, same era.
Ground-truth adversarial examples
Nicholas Carlini, Guy Katz, Clark Barrett, and David L Dill · 2017
Cited alongside, same era.
Maximum resilience of artificial neural networks
Chih-Hong Cheng, Georg Nührenberg, and Harald Ruess · 2017
Cited alongside, same era.
Jump: A modeling language for mathematical optimization
Iain Dunning, Joey Huchette, and Miles Lubin · 2017
Cited alongside, same era.
Formal verification of piece-wise linear feed-forward neural networks
Ruediger Ehlers · 2017
Cited alongside, same era.
Gurobi guidelines for numerical issues, 2017
Gurobi · 2017
Cited alongside, same era.
Obfuscated gradients give a false sense of security: Circumventing defenses to adversarial examples
Anish Athalye, Nicholas Carlini, and David Wagner · 2018
Closest in time.
A unified view of piecewise linear neural network verification
Rudy Bunel, Ilker Turkaslan, Philip HS Torr, Pushmeet Kohli, and Pawan K Mudigonda · 2018
Closest in time.
EAD: elastic-net attacks to deep neural networks via adversarial examples
Pin-Yu Chen, Yash Sharma, Huan Zhang, Jinfeng Yi, and Cho-Jui Hsieh · 2018
Closest in time.
Output range analysis for deep feedforward neural networks
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari · 2018
Closest in time.
A dual approach to scalable verification of deep networks
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy Mann, and Pushmeet Kohli · 2018
Closest in time.
Deep neural networks and mixed integer linear optimization
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Gurobi optimizer reference manual, 2017
Inc. Gurobi Optimization · 2017
Cited alongside, same era.
Formal guarantees on the robustness of a classifier against adversarial manipulation
Matthias Hein and Maksym Andriushchenko · 2017
Cited alongside, same era.
Safety verification of deep neural networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu · 2017
Cited alongside, same era.
Nonconvex piecewise linear functions: Advanced formulations and simple modeling tools
Joey Huchette and Juan Pablo Vielma · 2017
Cited alongside, same era.
Reluplex: An efficient SMT solver for verifying deep neural networks
Guy Katz, Clark Barrett, David L Dill, Kyle Julian, and Mykel J Kochenderfer · 2017
Cited alongside, same era.
Provable defenses against adversarial examples via the convex outer adversarial polytope
J Zico Kolter and Eric Wong · 2017
Cited alongside, same era.
Matteo Fischetti and Jason Jo · 2018
Closest in time.
coin-or/cbc: Version 2.9.9
John Forrest, Ted Ralphs, Stefan Vigerske, LouHafer, Bjarni Kristjansson, jpfasano, EdwinStraver, Miles Lubin, Haroldo Gambini Santos, rlougee, and et al · 2018
Closest in time.
Ai 2: Safety and robustness certification of neural networks with abstract interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin Vechev · 2018
Closest in time.
Towards deep learning models resistant to adversarial attacks
Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu · 2018
Closest in time.
Certified defenses against adversarial examples
Aditi Raghunathan, Jacob Steinhardt, and Percy Liang · 2018
Closest in time.
Towards fast computation of certified robustness for ReLU networks
Tsui-Wei Weng, Huan Zhang, Hongge Chen, Zhao Song, Cho-Jui Hsieh, Duane Boning, Inderjit S Dhillon, and Luca Daniel · 2018
Closest in time.
Scaling provable adversarial defenses
Eric Wong, Frank Schmidt, Jan Hendrik Metzen, and J Zico Kolter · 2018
Closest in time.
Output reachable set estimation and verification for multi-layer neural networks
Weiming Xiang, Hoang-Dung Tran, and Taylor T. Johnson · 2018
Closest in time.