Alternatives and similar repositories for jax_verify

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

• fsschneider / DeepOBS
  DeepOBS: A Deep Learning Optimizer Benchmark Suite
  ☆106Updated last year
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆229Updated last month
• openopt / chop
  CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.
  ☆77Updated last year
• google / spectral-density
  Hessian spectral density estimation in TF and Jax
  ☆123Updated 4 years ago
• fwcore / mean-field-theory-deep-learning
  paper lists and information on mean-field theory of deep learning
  ☆76Updated 6 years ago
• f-t-s / CGD
  This repository contains the Julia code for the paper "Competitive Gradient Descent"
  ☆24Updated 5 years ago
• alecwangcq / KFAC-Pytorch
  Pytorch implementation of KFAC and E-KFAC (Natural Gradient).
  ☆132Updated 5 years ago
• google-deepmind / jaxline
  ☆157Updated last year
• kazukiosawa / asdl
  ASDL: Automatic Second-order Differentiation Library for PyTorch
  ☆187Updated 6 months ago
• 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
• PrincetonLIPS / RandomizedAutomaticDifferentiation
  Experiment code for "Randomized Automatic Differentiation"
  ☆67Updated 4 years ago
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆59Updated 3 years ago
• vtjeng / MIPVerify.jl
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆117Updated 2 weeks ago
• gehring / fax
  ☆80Updated 3 years ago
• damek / gd-lean
  ☆23Updated last year
• n2cholas / jax-resnet
  Implementations and checkpoints for ResNet, Wide ResNet, ResNeXt, ResNet-D, and ResNeSt in JAX (Flax).
  ☆110Updated 3 years ago
• SirRob1997 / Crowded-Valley---Results
  This repository contains the results for the paper: "Descending through a Crowded Valley - Benchmarking Deep Learning Optimizers"
  ☆180Updated 3 years ago
• mperezortiz / PBB
  PAC-Bayes with Backprop - Tighter risk certificates for neural networks
  ☆24Updated 3 years ago
• google-deepmind / deep-verify
  ☆17Updated 5 years ago
• g-benton / loss-surface-simplexes
  ☆99Updated 3 years ago
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆111Updated 5 years ago
• ethanluoyc / magi
  Reinforcement learning library in JAX.
  ☆100Updated last year
• google-deepmind / interval-bound-propagation
  This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
  ☆160Updated 5 years ago
• google-deepmind / tensor_annotations
  Annotating tensor shapes using Python types
  ☆159Updated last year
• google-deepmind / mc_gradients
  ☆168Updated 10 months ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆151Updated 7 months ago
• jxbz / fromage
  🧀 Pytorch code for the Fromage optimiser.
  ☆124Updated 10 months ago
• Thrandis / EKFAC-pytorch
  Repository containing Pytorch code for EKFAC and K-FAC perconditioners.
  ☆143Updated last year
• thegregyang / NTK4A
  Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"
  ☆105Updated 4 years ago
• huanzhang12 / RecurJac-and-CROWN
  Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…
  ☆26Updated 5 years ago