google-deepmind / jax_verify
Neural network verification in JAX
☆141Updated last year
Alternatives and similar repositories for jax_verify:
Users that are interested in jax_verify are comparing it to the libraries listed below
- Methods to soundly verify deep neural networks☆228Updated last year
- DeepOBS: A Deep Learning Optimizer Benchmark Suite☆103Updated last year
- CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.☆77Updated 11 months ago
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆156Updated 5 years ago
- ☆153Updated last year
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆60Updated 2 years ago
- Hessian spectral density estimation in TF and Jax☆121Updated 4 years ago
- Evaluating Robustness of Neural Networks with Mixed Integer Programming☆115Updated last week
- Code for fast dpsgd implementations in JAX/TF☆59Updated 2 years ago
- Pytorch implementation of KFAC and E-KFAC (Natural Gradient).☆130Updated 5 years ago
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆85Updated last month
- Convolutional Neural Tangent Kernel☆109Updated 5 years ago
- ☆80Updated 3 years ago
- pyhessian is a TensorFlow module which can be used to estimate Hessian matrices☆24Updated 3 years ago
- 🧀 Pytorch code for the Fromage optimiser.☆123Updated 7 months ago
- ☆74Updated last week
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆26Updated 5 years ago
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)☆265Updated 3 weeks ago
- LipSDP - Lipschitz Estimation for Neural Networks☆65Updated 2 years ago
- Experiment code for "Randomized Automatic Differentiation"☆66Updated 4 years ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆104Updated 4 years ago
- Performant, differentiable reinforcement learning☆120Updated 8 months ago
- paper lists and information on mean-field theory of deep learning☆75Updated 5 years ago
- ☆17Updated 5 years ago
- Reinforcement learning library in JAX.☆102Updated last year
- ETH Robustness Analyzer for Deep Neural Networks☆324Updated 2 years ago
- Annotating tensor shapes using Python types☆158Updated last year
- ASDL: Automatic Second-order Differentiation Library for PyTorch☆183Updated 2 months ago
- Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)☆59Updated 3 years ago
- ☆213Updated 3 years ago