Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Feedforward Neural Network Methodology
Verification of Recurrent Neural Networks
Convergence Analysis of Two-layer Neural Networks with ReLU Activation
Multiplier-free feedforward networks
Reachability Analysis and Safety Verification for Neural Network Control Systems
Formal Verification of CNN-based Perception Systems
Approximation capabilities of multilayer feedforward networks
Bitwise Neural Networks
Multilayer feedforward networks with a nonpolynomial activation function can approximate any function
Deterministic convergence of conjugate gradient method for feedforward neural networks
Efficient VLSI Implementation of Neural Networks With Hyperbolic Tangent Activation Function
Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks
Approximation theory and feedforward networks
VLSI Implementation of Neural Networks
Non-linear Feedback Neural Network for Solution of Quadratic Programming Problems
Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study
On the Universal Approximability and Complexity Bounds of Quantized ReLU Neural Networks
Implementation of Neural Network Back Propagation Training Algorithm on FPGA
Turing Computability with Neural Nets
A whole brain fMRI atlas generated via spatially constrained spectral clustering
Open-vocabulary Object Retrieval
An inside job: Remote power analysis attacks on FPGAs
Enhancing product search by best-selling prediction in e-commerce
Applying hyperspectral imaging to explore natural plant diversity towards improving salt stress tolerance.