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
• google / spectral-density
  Hessian spectral density estimation in TF and Jax
  ☆120Updated 4 years ago
• ethanluoyc / magi
  Reinforcement learning library in JAX.
  ☆102Updated last year
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆108Updated 5 years ago
• openopt / chop
  CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.
  ☆77Updated 10 months ago
• fwcore / mean-field-theory-deep-learning
  paper lists and information on mean-field theory of deep learning
  ☆75Updated 5 years ago
• gehring / fax
  ☆80Updated 3 years ago
• google-deepmind / jaxline
  ☆153Updated last year
• fsschneider / DeepOBS
  DeepOBS: A Deep Learning Optimizer Benchmark Suite
  ☆103Updated last year
• thegregyang / NTK4A
  Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"
  ☆102Updated 4 years ago
• n2cholas / jax-resnet
  Implementations and checkpoints for ResNet, Wide ResNet, ResNeXt, ResNet-D, and ResNeSt in JAX (Flax).
  ☆106Updated 2 years ago
• bremen79 / parameterfree
  Parameter-Free Optimizers for Pytorch
  ☆109Updated 8 months ago
• edwardjhu / TP4
  Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)
  ☆58Updated 3 years ago
• google-deepmind / mc_gradients
  ☆163Updated 5 months 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
• google-deepmind / deep-verify
  ☆17Updated 5 years ago
• PerformanceEstimation / PEPit
  PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.
  ☆83Updated 3 months ago
• tristandeleu / jax-meta-learning
  A collection of meta-learning algorithms in Jax
  ☆23Updated 2 years ago
• cgarciae / treeo
  A small library for creating and manipulating custom JAX Pytree classes
  ☆57Updated last year
• g-benton / loss-surface-simplexes
  ☆98Updated 3 years ago
• gknilsen / pyhessian
  pyhessian is a TensorFlow module which can be used to estimate Hessian matrices
  ☆24Updated 3 years ago
• vtjeng / MIPVerify.jl
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆114Updated last month
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆137Updated 3 months ago
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆60Updated 2 years ago
• cybertronai / autograd-hacks
  ☆156Updated 2 years ago
• google-deepmind / tensor_annotations
  Annotating tensor shapes using Python types
  ☆158Updated last year
• thegregyang / GP4A
  Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…
  ☆242Updated 4 years ago
• kazukiosawa / ngd_in_wide_nn
  simple JAX-/NumPy-based implementations of NGD with exact/approximate Fisher Information Matrix both in parameter-space and function-spac…
  ☆14Updated 4 years ago
• cybertronai / autograd-lib
  ☆33Updated 4 years ago
• cambridge-mlg / EinsumNetworks
  ☆50Updated last year