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
  ☆234Updated 6 months ago
• google / spectral-density
  Hessian spectral density estimation in TF and Jax
  ☆124Updated 5 years ago
• openopt / chop
  CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.
  ☆78Updated last year
• google-deepmind / mc_gradients
  ☆172Updated last year
• fsschneider / DeepOBS
  DeepOBS: A Deep Learning Optimizer Benchmark Suite
  ☆108Updated last year
• google-deepmind / jaxline
  ☆159Updated last year
• thegregyang / GP4A
  Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…
  ☆247Updated 5 years ago
• google / init2winit
  ☆79Updated this week
• 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…
  ☆15Updated 5 years ago
• kazukiosawa / asdl
  ASDL: Automatic Second-order Differentiation Library for PyTorch
  ☆190Updated 11 months ago
• google-deepmind / tensor_annotations
  Annotating tensor shapes using Python types
  ☆159Updated 2 years ago
• gehring / fax
  ☆80Updated 4 years ago
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆112Updated 6 years ago
• thegregyang / NTK4A
  Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"
  ☆104Updated 5 years ago
• alecwangcq / KFAC-Pytorch
  Pytorch implementation of KFAC and E-KFAC (Natural Gradient).
  ☆132Updated 6 years ago
• google-research / ott
  ☆214Updated 3 years ago
• PrincetonLIPS / RandomizedAutomaticDifferentiation
  Experiment code for "Randomized Automatic Differentiation"
  ☆67Updated 5 years ago
• ethanluoyc / magi
  Reinforcement learning library in JAX.
  ☆100Updated 2 years ago
• mperezortiz / PBB
  PAC-Bayes with Backprop - Tighter risk certificates for neural networks
  ☆24Updated 4 years ago
• fwcore / mean-field-theory-deep-learning
  paper lists and information on mean-field theory of deep learning
  ☆78Updated 6 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
• Thrandis / EKFAC-pytorch
  Repository containing Pytorch code for EKFAC and K-FAC perconditioners.
  ☆148Updated 2 years ago
• TheSalon / fast-dpsgd
  Code for fast dpsgd implementations in JAX/TF
  ☆59Updated 3 years ago
• f-t-s / CGD
  This repository contains the Julia code for the paper "Competitive Gradient Descent"
  ☆25Updated 5 years ago
• ccanonne / probabilitydistributiontoolbox
  Folklore facts on probability distribution learning, testing, and whatever-ing
  ☆268Updated 3 months ago
• vtjeng / MIPVerify.jl
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆117Updated last month
• arobey1 / LipSDP
  LipSDP - Lipschitz Estimation for Neural Networks
  ☆71Updated 3 years ago
• akbir / deq-jax
  [NeurIPS'19] Deep Equilibrium Models Jax Implementation
  ☆42Updated 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
  ☆162Updated 5 years ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆158Updated last year