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
  ☆232Updated 5 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
  ☆171Updated 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 last week
• fsschneider / DeepOBS
  DeepOBS: A Deep Learning Optimizer Benchmark Suite
  ☆108Updated last year
• google-deepmind / jaxline
  ☆158Updated last year
• gehring / fax
  ☆80Updated 4 years ago
• kazukiosawa / asdl
  ASDL: Automatic Second-order Differentiation Library for PyTorch
  ☆190Updated 10 months ago
• f-t-s / CGD
  This repository contains the Julia code for the paper "Competitive Gradient Descent"
  ☆25Updated 5 years ago
• gknilsen / pyhessian
  pyhessian is a TensorFlow module which can be used to estimate Hessian matrices
  ☆25Updated 4 years ago
• thegregyang / NTK4A
  Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"
  ☆104Updated 5 years ago
• google-deepmind / tensor_annotations
  Annotating tensor shapes using Python types
  ☆158Updated 2 years ago
• TheSalon / fast-dpsgd
  Code for fast dpsgd implementations in JAX/TF
  ☆59Updated 3 years ago
• cambridge-mlg / EinsumNetworks
  ☆53Updated 2 years ago
• ruosongwang / CNTK
  Convolutional Neural Tangent Kernel
  ☆112Updated 6 years ago
• vtjeng / MIPVerify.jl
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆117Updated last month
• alecwangcq / KFAC-Pytorch
  Pytorch implementation of KFAC and E-KFAC (Natural Gradient).
  ☆131Updated 6 years ago
• google-deepmind / deep-verify
  ☆18Updated 5 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…
  ☆15Updated 5 years ago
• ethanluoyc / magi
  Reinforcement learning library in JAX.
  ☆100Updated 2 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
• mperezortiz / PBB
  PAC-Bayes with Backprop - Tighter risk certificates for neural networks
  ☆24Updated 4 years ago
• HEmile / storchastic
  Stochastic Automatic Differentiation library for PyTorch.
  ☆208Updated last year
• ccanonne / probabilitydistributiontoolbox
  Folklore facts on probability distribution learning, testing, and whatever-ing
  ☆267Updated 2 months ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆157Updated last year
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆49Updated last year
• google-research / ott
  ☆214Updated 3 years ago
• fwcore / mean-field-theory-deep-learning
  paper lists and information on mean-field theory of deep learning
  ☆78Updated 6 years ago