revbucket / geometric-certificatesLinks
Geometric Certifications of Neural Nets
☆42Updated 2 years ago
Alternatives and similar repositories for geometric-certificates
Users that are interested in geometric-certificates are comparing it to the libraries listed below
Sorting:
- Implementation of Methods Proposed in Preventing Gradient Attenuation in Lipschitz Constrained Convolutional Networks (NeurIPS 2019)☆35Updated 5 years ago
- Randomized Smoothing of All Shapes and Sizes (ICML 2020).☆51Updated 5 years ago
- Computing various norms/measures on over-parametrized neural networks☆50Updated 6 years ago
- Implementation of Information Dropout☆39Updated 8 years ago
- TensorFlow implementation of "noisy K-FAC" and "noisy EK-FAC".☆60Updated 6 years ago
- Monotone operator equilibrium networks☆53Updated 5 years ago
- Limitations of the Empirical Fisher Approximation☆48Updated 7 months ago
- ☆88Updated last year
- Learning perturbation sets for robust machine learning☆65Updated 4 years ago
- Code for Self-Tuning Networks (ICLR 2019) https://arxiv.org/abs/1903.03088☆54Updated 6 years ago
- Implementation of iterative inference in deep latent variable models☆43Updated 6 years ago
- Provable Robustness of ReLU networks via Maximization of Linear Regions [AISTATS 2019]☆31Updated 5 years ago
- Reliable Uncertainty Estimates in Deep Neural Networks using Noise Contrastive Priors☆62Updated 5 years ago
- This repository is no longer maintained. Check☆81Updated 5 years ago
- Convolutional Neural Tangent Kernel☆112Updated 5 years ago
- The Full Spectrum of Deepnet Hessians at Scale: Dynamics with SGD Training and Sample Size☆17Updated 6 years ago
- A fast and efficient way to compute a differentiable bound on the singular values of convolution layers☆13Updated 5 years ago
- Code for the paper "Understanding Generalization through Visualizations"☆61Updated 4 years ago
- [JMLR] TRADES + random smoothing for certifiable robustness☆14Updated 5 years ago
- ☆30Updated 4 years ago
- SGD and Ordered SGD codes for deep learning, SVM, and logistic regression