PyPI page
Home page
Author:
DeepMind
License:
Apache 2.0
Summary:
A library for neural network verification.
Latest version:
1.0
Required dependencies:
absl-py
|
cvxpy
|
dm-haiku
|
dm-tree
|
jax
|
jaxlib
|
numpy
|
optax
Downloads last day:
0
Downloads last week:
7
Downloads last month:
23