Search Results for author:
Found 3 papers, 0 papers with code
Verifying Generalization in Deep Learning
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the state of the art in numerous application domains.
On Optimizing Back-Substitution Methods for Neural Network Verification
A key component in many state-of-the-art verification schemes is computing lower and upper bounds on the values that neurons in the network can obtain for a specific input domain -- and the tighter these bounds, the more likely the verification is to succeed.
Verification-Aided Deep Ensemble Selection
Deep neural networks (DNNs) have become the technology of choice for realizing a variety of complex tasks.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
