Alternatives and similar repositories for jax_verify:

Users that are interested in jax_verify are comparing it to the libraries listed below

• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆228Updated last year
• openopt / chop
  CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.
  ☆77Updated last year
• kazukiosawa / asdl
  ASDL: Automatic Second-order Differentiation Library for PyTorch
  ☆185Updated 3 months ago
• google / spectral-density
  Hessian spectral density estimation in TF and Jax
  ☆122Updated 4 years ago
• ethanluoyc / magi
  Reinforcement learning library in JAX.
  ☆100Updated last year
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆60Updated 3 years ago
• edwardjhu / TP4
  Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)
  ☆61Updated 3 years ago
• alecwangcq / KFAC-Pytorch
  Pytorch implementation of KFAC and E-KFAC (Natural Gradient).
  ☆130Updated 5 years ago
• fwcore / mean-field-theory-deep-learning
  paper lists and information on mean-field theory of deep learning
  ☆75Updated 6 years ago
• Thrandis / EKFAC-pytorch
  Repository containing Pytorch code for EKFAC and K-FAC perconditioners.
  ☆141Updated last year
• google-deepmind / tensor_annotations
  Annotating tensor shapes using Python types
  ☆158Updated last year
• fsschneider / DeepOBS
  DeepOBS: A Deep Learning Optimizer Benchmark Suite
  ☆104Updated last year
• jxbz / fromage
  🧀 Pytorch code for the Fromage optimiser.
  ☆123Updated 8 months ago
• google-deepmind / jaxline
  ☆154Updated last year
• n2cholas / jax-resnet
  Implementations and checkpoints for ResNet, Wide ResNet, ResNeXt, ResNet-D, and ResNeSt in JAX (Flax).
  ☆108Updated 2 years ago
• thegregyang / NTK4A
  Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"
  ☆105Updated 4 years ago
• cybertronai / autograd-hacks
  ☆157Updated 2 years ago
• cybertronai / pytorch-sso
  PyTorch-SSO: Scalable Second-Order methods in PyTorch
  ☆145Updated last year
• google-deepmind / mc_gradients
  ☆166Updated 7 months ago
• cooper-org / cooper
  A general-purpose, deep learning-first library for constrained optimization in PyTorch
  ☆112Updated this week
• srush / torch-queue
  ☆68Updated last year
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆109Updated 5 years ago
• google-deepmind / interval-bound-propagation
  This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
  ☆156Updated 5 years ago
• vtjeng / MIPVerify.jl
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆115Updated last month
• arobey1 / LipSDP
  LipSDP - Lipschitz Estimation for Neural Networks
  ☆65Updated 3 years ago
• f-t-s / CGD
  This repository contains the Julia code for the paper "Competitive Gradient Descent"
  ☆23Updated 5 years ago
• tristandeleu / jax-meta-learning
  A collection of meta-learning algorithms in Jax
  ☆22Updated 2 years ago
• gehring / fax
  ☆80Updated 3 years ago
• PrincetonLIPS / RandomizedAutomaticDifferentiation
  Experiment code for "Randomized Automatic Differentiation"
  ☆66Updated 4 years ago
• gknilsen / pyhessian
  pyhessian is a TensorFlow module which can be used to estimate Hessian matrices
  ☆24Updated 4 years ago