Fetching the paper…
Reading the bibliography…
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems.
Linear Programming and Extensions
G. Dantzig · 1963
Earlier work this paper cites.
A Branch-And-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems
M. Padberg and G. Rinaldi · 1991
Earlier work this paper cites.
Linear Programming: Foundations and Extensions
R. Vanderbei · 1996
Earlier work this paper cites.
GRASP: A Search Algorithm for Propositional Satisfiability
J. Marques-Silva and K. Sakallah · 1999
Earlier work this paper cites.
Hierarchical Models of Object Recognition in Cortex
M. Riesenhuber and P. Tomaso · 1999
Earlier work this paper cites.
Splitting On Demand in SAT Modulo Theories
C. Barrett, R. Nieuwenhuis, A. Oliveras, and C. Tinelli · 2006
Earlier work this paper cites.
Solving SAT and SAT Modulo Theories: From an abstract Davis–Putnam–Logemann–Loveland procedure to DPLL( T )
R. Nieuwenhuis, A. Oliveras, and C. Tinelli · 2006
Earlier work this paper cites.
The Traffic Alert and Collision Avoidance System
J. Kuchar and A. Drumm · 2007
Earlier work this paper cites.
Satisfiability Modulo Theories
C. Barrett, R. Sebastiani, S. Seshia, and C. Tinelli · 2009
Earlier work this paper cites.
What is the Best Multi-Stage Architecture for Object Recognition?
K. Jarrett, K. Kavukcuoglu, and Y. LeCun · 2009
Earlier work this paper cites.
Airspace Encounter Models for Estimating Collision Risk
M. Kochenderfer, M. Edwards, L. Espindle, J. Kuchar, and J. Griffith · 2010
Earlier work this paper cites.
Rectified Linear Units Improve Restricted Boltzmann Machines
V. Nair and G. Hinton · 2010
Earlier work this paper cites.
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
L. Pulina and A. Tacchella · 2010
Cited alongside, same era.
Deep Sparse Rectifier Neural Networks
X. Glorot, A. Bordes, and Y. Bengio · 2011
Cited alongside, same era.
Robust Airborne Collision Avoidance through Dynamic Programming
M. Kochenderfer and J. Chryssanthacopoulos · 2011
Cited alongside, same era.
Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups
G. Hinton, L. Deng, D. Yu, G. Dahl, A. Mohamed, N. Jaitly, A. Senior, V. Vanhoucke, P. Nguyen, T. Sainath, and B. Kingsbury · 2012
Cited alongside, same era.
Next Generation Airborne Collision Avoidance System
M. Kochenderfer, J. Holland, and J. Chryssanthacopoulos · 2012
Cited alongside, same era.
Imagenet Classification with Deep Convolutional Neural Networks
A. Krizhevsky, I. Sutskever, and G. Hinton · 2012
Leveraging Linear and Mixed Integer Programming for SMT
T. King, C. Barret, and C. Tinelli · 2014
Later among the works it cites.
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
J.-B. Jeannin, K. Ghorbal, Y. Kouskoulas, R. Gardner, A. Schmidt, E. Zawadzki, and A. Platzer · 2015
Later among the works it cites.
Decision Making Under Uncertainty: Theory and Application
M. Kochenderfer · 2015
Later among the works it cites.
Measuring Neural Net Robustness with Constraints
O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. Nori, and A. Criminisi · 2016
Later among the works it cites.
End to End Learning for Self-Driving Cars, 2016
M. Bojarski, D. Del Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. Jackel, M. Monfort, U. Muller, J. Zhang, X. Zhang, J. Zhao, and K. Zieba · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Challenging SMT Solvers to Verify Neural Networks
L. Pulina and A. Tacchella · 2012
Cited alongside, same era.
Rectifier Nonlinearities improve Neural Network Acoustic Models
A. Maas, A. Hannun, and A. Ng · 2013
Cited alongside, same era.
Intriguing Properties of Neural Networks, 2013
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, and R. Fergus · 2013
Cited alongside, same era.
Explaining and Harnessing Adversarial Examples, 2014
I. Goodfellow, J. Shlens, and C. Szegedy · 2014
Cited alongside, same era.
Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic
T. King · 2014
Cited alongside, same era.
I. Goodfellow, Y. Bengio, and A. Courville · 2016
Later among the works it cites.
Safety Verification of Deep Neural Networks, 2016
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu · 2016
Later among the works it cites.
Policy Compression for Aircraft Collision Avoidance Systems
K. Julian, J. Lopez, J. Brush, M. Owen, and M. Kochenderfer · 2016
Later among the works it cites.
Lazy Proofs for DPLL(T)-Based SMT Solvers
G. Katz, C. Barrett, C. Tinelli, A. Reynolds, and L. Hadarean · 2016
Later among the works it cites.
Mastering the Game of Go with Deep Neural Networks and Tree Search
D. Silver, A. Huang, C. Maddison, A. Guez, L. Sifre, G. Van Den Driessche, J. Schrittwieser, I. Antonoglou, V. Panneershelvam, M. Lanctot, and S. Dieleman · 2016
Later among the works it cites.
Reluplex, 2017
G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer · 2017
Closest in time.