google-deepmind / jax_verifyLinks
Neural network verification in JAX
☆145Updated 2 years ago
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.☆78Updated last year
- Hessian spectral density estimation in TF and Jax☆124Updated 5 years ago
- Methods to soundly verify deep neural networks☆232Updated 5 months ago
- DeepOBS: A Deep Learning Optimizer Benchmark Suite☆108Updated last year
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆247Updated 5 years ago
- ☆170Updated last year
- ☆79Updated this week
- ☆158Updated last year
- ASDL: Automatic Second-order Differentiation Library for PyTorch☆190Updated 10 months ago
- ☆80Updated 4 years ago
- Reinforcement learning library in JAX.☆100Updated last year
- Annotating tensor shapes using Python types☆158Updated 2 years ago
- Pytorch implementation of KFAC and E-KFAC (Natural Gradient).☆131Updated 6 years ago
- ☆100Updated 3 years ago
- This repository contains the Julia code for the paper "Competitive Gradient Descent"☆25Updated 5 years ago
- simple JAX-/NumPy-based implementations of NGD with exact/approximate Fisher Information Matrix both in parameter-space and function-spac…☆15Updated 4 years ago
- Stochastic Automatic Differentiation library for PyTorch.☆208Updated last year
- Parameter-Free Optimizers for Pytorch☆130Updated last year
- Folklore facts on probability distribution learning, testing, and whatever-ing☆266Updated last month
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆104Updated 5 years ago
- Code for fast dpsgd implementations in JAX/TF☆59Updated 2 years ago
- ☆214Updated 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
- A small library for creating and manipulating custom JAX Pytree classes☆56Updated 2 years ago
- Convolutional Neural Tangent Kernel☆112Updated 5 years ago
- PyTorch-SSO: Scalable Second-Order methods in PyTorch☆147Updated 2 years ago
- Experiment code for "Randomized Automatic Differentiation"☆67Updated 5 years ago
- LipSDP - Lipschitz Estimation for Neural Networks☆71Updated 3 years ago
- paper lists and information on mean-field theory of deep learning☆78Updated 6 years ago
- Implementations and checkpoints for ResNet, Wide ResNet, ResNeXt, ResNet-D, and ResNeSt in JAX (Flax).☆112Updated 3 years ago