google-deepmind / jax_verifyLinks
Neural network verification in JAX
☆144Updated last year
Alternatives and similar repositories for jax_verify
Users that are interested in jax_verify are comparing it to the libraries listed below
Sorting:
- DeepOBS: A Deep Learning Optimizer Benchmark Suite☆106Updated last year
- Methods to soundly verify deep neural networks☆229Updated last month
- CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.☆77Updated last year
- Hessian spectral density estimation in TF and Jax☆123Updated 4 years ago
- paper lists and information on mean-field theory of deep learning☆76Updated 6 years ago
- This repository contains the Julia code for the paper "Competitive Gradient Descent"☆24Updated 5 years ago
- Pytorch implementation of KFAC and E-KFAC (Natural Gradient).☆132Updated 5 years ago
- ☆157Updated last year
- ASDL: Automatic Second-order Differentiation Library for PyTorch☆187Updated 6 months ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆242Updated 4 years ago
- Experiment code for "Randomized Automatic Differentiation"☆67Updated 4 years ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- Evaluating Robustness of Neural Networks with Mixed Integer Programming☆117Updated 2 weeks ago
- ☆80Updated 3 years ago
- ☆23Updated last year
- Implementations and checkpoints for ResNet, Wide ResNet, ResNeXt, ResNet-D, and ResNeSt in JAX (Flax).☆110Updated 3 years ago
- This repository contains the results for the paper: "Descending through a Crowded Valley - Benchmarking Deep Learning Optimizers"☆180Updated 3 years ago
- PAC-Bayes with Backprop - Tighter risk certificates for neural networks☆24Updated 3 years ago
- ☆17Updated 5 years ago
- ☆99Updated 3 years ago
- Convolutional Neural Tangent Kernel☆111Updated 5 years ago
- Reinforcement learning library in JAX.☆100Updated last year
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆160Updated 5 years ago
- Annotating tensor shapes using Python types☆159Updated last year
- ☆168Updated 10 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆151Updated 7 months ago
- 🧀 Pytorch code for the Fromage optimiser.☆124Updated 10 months ago
- Repository containing Pytorch code for EKFAC and K-FAC perconditioners.☆143Updated last year
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆105Updated 4 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆26Updated 5 years ago