Search Results for author:
Found 3 papers, 0 papers with code
Learning Minimal NAP Specifications for Neural Network Verification
In this paper, we study the following problem: Given a neural network, find a minimal (coarsest) NAP that is sufficient for formal verification of the network's robustness.
Scalar Invariant Networks with Zero Bias
However, we argue that biases can be disregarded for some image-related tasks such as image classification, by considering the intrinsic distribution of images in the input space and desired model properties from first principles.
Novice Type Error Diagnosis with Natural Language Models
Strong static type systems help programmers eliminate many errors without much burden of supplying type annotations.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
