Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Output Reachable Set Estimation and Verification for Multilayer Neural Networks
An abstraction-refinement approach to verification of artificial neural networks
Safety Verification of Deep Neural Networks
A new strategy for adaptively constructing multilayer feedforward neural networks
Robust Adaptive Neural Network Control for a Class of Uncertain MIMO Nonlinear Systems With Input Nonlinearities
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Modular Representation of Layered Neural Networks
Stability Analysis for Neural Networks With Time-Varying Delay Based on Quadratic Convex Combination
Identification and control of dynamical systems using neural networks
Analyzing the Performance of Multilayer Neural Networks for Object Recognition
No bad local minima: Data independent training error guarantees for multilayer neural networks
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Neural network adaptive control of systems with input saturation
Deep and Shallow Architecture of Multilayer Neural Networks
Challenging SMT solvers to verify neural networks
Mathematical Formulation of Multi-Layer Networks
Recovery Guarantees for One-hidden-layer Neural Networks
On the Robustness of a Neural Network
Synthesizing Neural Network Controllers with Probabilistic Model-Based Reinforcement Learning
Verifying Neural Networks with Mixed Integer Programming
LOBAL OPTIMALITY CONDITIONS FOR DEEP NEURAL NETWORKS
Counterexample-guided abstraction refinement for symbolic model checking
Determinants of Agricultural and Mineral Commodity Prices
CME The Spectrum of Orofacial Clefting
Optimal Charging Strategies for Unidirectional Vehicle-to-Grid
A focus theory of normative conduct: Recycling the concept of norms to reduce littering in public places.