google-deepmind / jax_verify
Neural network verification in JAX
☆142Updated last year
Related projects ⓘ
Alternatives and complementary repositories for jax_verify
- Methods to soundly verify deep neural networks☆224Updated 10 months ago
- Hessian spectral density estimation in TF and Jax☆115Updated 4 years ago
- ☆72Updated last week
- Parameter-Free Optimizers for Pytorch☆109Updated 6 months ago
- ☆153Updated 11 months ago
- ASDL: Automatic Second-order Differentiation Library for PyTorch☆179Updated 3 months ago
- CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.☆76Updated 8 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆60Updated 2 years ago
- DeepOBS: A Deep Learning Optimizer Benchmark Suite☆103Updated 11 months ago
- ☆97Updated 2 years ago
- ☆78Updated 3 years ago
- Reinforcement learning library in JAX.☆102Updated last year
- A small library for creating and manipulating custom JAX Pytree classes☆57Updated last year
- Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)☆58Updated 3 years ago
- ☆159Updated 3 months ago
- Implementations and checkpoints for ResNet, Wide ResNet, ResNeXt, ResNet-D, and ResNeSt in JAX (Flax).☆104Updated 2 years ago
- Evaluating Robustness of Neural Networks with Mixed Integer Programming☆113Updated 3 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆131Updated last month
- This repository contains the Julia code for the paper "Competitive Gradient Descent"☆23Updated 4 years ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆97Updated 4 years ago
- Performant, differentiable reinforcement learning☆121Updated 5 months ago
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆37Updated 4 years ago
- 🧀 Pytorch code for the Fromage optimiser.☆122Updated 4 months ago
- Second Order Optimization and Curvature Estimation with K-FAC in JAX.☆249Updated this week
- Folklore facts on probability distribution learning, testing, and whatever-ing☆254Updated last year
- A Python package of computer vision models for the Equinox ecosystem.☆102Updated 4 months ago
- This repository contains the results for the paper: "Descending through a Crowded Valley - Benchmarking Deep Learning Optimizers"☆180Updated 3 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆26Updated 4 years ago
- PyTorch-SSO: Scalable Second-Order methods in PyTorch☆142Updated last year