Alternatives and similar repositories for jax_verify

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

• openopt / chop
  CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.
  ☆78Updated last year
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆230Updated 3 months ago
• google / spectral-density
  Hessian spectral density estimation in TF and Jax
  ☆123Updated 4 years ago
• fsschneider / DeepOBS
  DeepOBS: A Deep Learning Optimizer Benchmark Suite
  ☆107Updated last year
• google-deepmind / mc_gradients
  ☆169Updated last year
• TheSalon / fast-dpsgd
  Code for fast dpsgd implementations in JAX/TF
  ☆59Updated 2 years ago
• google-deepmind / jaxline
  ☆158Updated last year
• gehring / fax
  ☆80Updated 3 years ago
• thegregyang / GP4A
  Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…
  ☆243Updated 4 years ago
• google / init2winit
  ☆77Updated this week
• alecwangcq / KFAC-Pytorch
  Pytorch implementation of KFAC and E-KFAC (Natural Gradient).
  ☆132Updated 6 years ago
• ccanonne / probabilitydistributiontoolbox
  Folklore facts on probability distribution learning, testing, and whatever-ing
  ☆263Updated 5 months ago
• vtjeng / MIPVerify.jl
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆117Updated 2 weeks ago
• google-research / ott
  ☆214Updated 3 years ago
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆113Updated 5 years ago
• thegregyang / NTK4A
  Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"
  ☆105Updated 4 years ago
• google-deepmind / deep-verify
  ☆17Updated 5 years ago
• PrincetonLIPS / RandomizedAutomaticDifferentiation
  Experiment code for "Randomized Automatic Differentiation"
  ☆67Updated 5 years ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆154Updated 9 months ago
• g-benton / loss-surface-simplexes
  ☆100Updated 3 years ago
• gkdziugaite / pacbayes-opt
  Optimizing PAC-Bayes bounds for Stochastic Neural Networks with Gaussian weights
  ☆27Updated 4 years ago
• kazukiosawa / asdl
  ASDL: Automatic Second-order Differentiation Library for PyTorch
  ☆188Updated 8 months ago
• gknilsen / pyhessian
  pyhessian is a TensorFlow module which can be used to estimate Hessian matrices
  ☆24Updated 4 years ago
• google-deepmind / tensor_annotations
  Annotating tensor shapes using Python types
  ☆159Updated 2 years ago
• fwcore / mean-field-theory-deep-learning
  paper lists and information on mean-field theory of deep learning
  ☆78Updated 6 years ago
• jxbz / fromage
  🧀 Pytorch code for the Fromage optimiser.
  ☆125Updated last year
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆49Updated last year
• f-t-s / CGD
  This repository contains the Julia code for the paper "Competitive Gradient Descent"
  ☆25Updated 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
  ☆161Updated 5 years ago
• srush / torch-queue
  ☆68Updated last year