google-deepmind / jax_verifyLinks
Neural network verification in JAX
☆145Updated 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:
- CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.☆77Updated last year
- Methods to soundly verify deep neural networks☆229Updated 2 months ago
- Hessian spectral density estimation in TF and Jax☆123Updated 4 years ago
- ☆157Updated last year
- ☆80Updated 3 years ago
- ☆76Updated this week
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆243Updated 4 years ago
- ☆169Updated 11 months ago
- ASDL: Automatic Second-order Differentiation Library for PyTorch☆188Updated 7 months ago
- DeepOBS: A Deep Learning Optimizer Benchmark Suite☆107Updated last year
- Annotating tensor shapes using Python types☆159Updated 2 years ago
- Code for fast dpsgd implementations in JAX/TF☆59Updated 2 years ago
- ☆100Updated 3 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
- Stochastic Automatic Differentiation library for PyTorch.☆204Updated 10 months ago
- Experiment code for "Randomized Automatic Differentiation"☆67Updated 4 years ago
- Reinforcement learning library in JAX.☆100Updated last year
- Folklore facts on probability distribution learning, testing, and whatever-ing☆262Updated 4 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆154Updated 8 months ago
- Performant, differentiable reinforcement learning☆121Updated this week
- Pytorch implementation of KFAC and E-KFAC (Natural Gradient).☆132Updated 6 years ago
- A collection of meta-learning algorithms in Jax☆23Updated 2 years ago
- Convolutional Neural Tangent Kernel☆111Updated 5 years ago
- PyTorch-SSO: Scalable Second-Order methods in PyTorch☆147Updated last year
- This repository contains the Julia code for the paper "Competitive Gradient Descent"☆25Updated 5 years ago
- Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces☆199Updated 3 years ago
- Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)☆62Updated 4 years ago
- ☆214Updated 3 years ago
- 🧀 Pytorch code for the Fromage optimiser.☆125Updated last year
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆40Updated 4 years ago