Wheelodex » Projects » jax-verify

jax-verify

View on PyPI — Reverse Dependencies (2)

1.0 jax_verify-1.0-py3-none-any.whl

Wheel Details

Project: jax-verify
Version: 1.0
Filename: jax_verify-1.0-py3-none-any.whl
Download: [link]
Size: 91277
MD5: e0b3784162496fd0561cc7363f1b05ea
SHA256: 70786761e0cb3c287ba324642bc199d25bd7b5c233ebc1191cc58a88e6b15bfc
Uploaded: 2020-10-22 15:32:59 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: jax-verify
Version: 1.0
Summary: A library for neural network verification.
Author: DeepMind
Author-Email: jax_verify[at]google.com
Home-Page: https://github.com/deepmind/jax_verify
License: Apache 2.0
Platform: any
Requires-Dist: absl-py
Requires-Dist: cvxpy
Requires-Dist: dm-tree
Requires-Dist: jax (>=0.1.71)
Requires-Dist: jaxlib (>=0.1.49)
Requires-Dist: numpy
Requires-Dist: optax
Requires-Dist: dm-haiku
[No description]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.35.1)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
docs/conf.py sha256=I_nFIw3tU6Ydn-mjdehTfel80GG480lEFY1qUfKdxdk 4397
examples/run_boundprop.py sha256=ei9GapeZ55IYDN0Kp8qHLe8raa2NKuauSnAu18664OI 4002
examples/run_lp_solver.py sha256=VGDpBmviHORg1oM1Pz5s8wnrSy0v2YUWCs_e8Yx6Ad0 4244
examples/run_sdp_verify.py sha256=bMEjSliL2kbx1-rQgFZg0NSCrWeFTE6MSYN6Z1Z5-sQ 8624
jax_verify/__init__.py sha256=MbdcxigRl2IHV_QzN2mJpRyM79aNPF3Zpnw_xeqY8eQ 1418
jax_verify/sdp_verify.py sha256=CODJcitKrTIRjo6f6uGKqvFi9R6RNjLQOS9-qq5Y9UQ 1026
jax_verify/src/bound_propagation.py sha256=dAoX0KvHiqCpNWry894gJOIfsS0WDH7tt7pariDn-f0 15458
jax_verify/src/crown_ibp.py sha256=xy0g9qxGFUjX0Ac-myZ75BCGE9dcabg75MWSKv2RkhU 15807
jax_verify/src/cvxpy_relaxation_solver.py sha256=-Vi57qK5wfvyyx1Nr23yLOricojrxl6mGjOlTYC7oEg 5162
jax_verify/src/fastlin.py sha256=w_Bu0zK6KovTEJckPr55FAfriurpaj6OYCMMTJh_HJI 19519
jax_verify/src/ibp.py sha256=eNulYL3vmunXXmlPgMKCOWxRiY_T4lkxpgOYX0eV65w 10954
jax_verify/src/intersection.py sha256=El_MAfewi9GsEFhmzJPjHHNmvMW5pO9Nx6H6rdftpmc 3753
jax_verify/src/relaxation.py sha256=2uRI8yDU5AR2IxJH-jsZAjprGUX1nQgIQlIUPKILkI4 18757
jax_verify/src/solve_relaxation.py sha256=gq4gE_IMHdjsCa2wTve9jYev0qPuAFk8gzc9GVoYjzc 2905
jax_verify/src/synthetic_primitives.py sha256=B7-XffjK5PDOi5PRcRZc2g7L6SBDCK9OJ40sZYwVPTY 3433
jax_verify/src/utils.py sha256=PRSKllKgZsoJ6XE8VNzROe-58VRQVjwlkdTCZRM4HZ0 2629
jax_verify/src/sdp_verify/crown_boundprop.py sha256=DyvqAQamhQEgH0tbpTX_2bYMsqf1zPp6NKZp_j0SHWE 2002
jax_verify/src/sdp_verify/cvxpy_verify.py sha256=hvLaFXmCoMw58nWOgc1AnnAIQdn6VqTfS0MXriF0XwE 11428
jax_verify/src/sdp_verify/eigenvector_utils.py sha256=XGcUczrx6FS7BT3z7crhzLmaO0PMdwiZygBpb8UoaWE 10540
jax_verify/src/sdp_verify/sdp_verify.py sha256=UsKAJRcdm6ismalIPVI69Stue7gZIng0BhxW3hrucg4 19516
jax_verify/src/sdp_verify/utils.py sha256=bRcowtjuQrJmo2NDaJ6INoGBIPTG_Ni22H_i_cp13-8 29306
jax_verify/tests/bound_propagation_test.py sha256=M8L2bnUBYWOVoErnuQA5YDCfGV3Y0VU-oKgWH-DjVQY 8644
jax_verify/tests/crownibp_test.py sha256=4VH8J1VaIs9uHg-CgLq5mbOyeMOrlzFnN8waSq7FFtQ 2781
jax_verify/tests/cvxpy_relaxation_test.py sha256=okktfw0BTESRMYzxKfoI4uyP9kIbXevDYGCymrkyVKU 4656
jax_verify/tests/fastlin_test.py sha256=0DOSWEVMyjXl4OI5fcwoch4-Xokt_slq-BLR0lCffbo 6735
jax_verify/tests/ibp_test.py sha256=-7MIvnCysZPn3mgVLSx_qjg6KB_00mWcsDVL1EikfhE 4160
jax_verify/tests/model_zoo.py sha256=EMRPHGwo1YJtWLCfI8z7qNvleV9k95sb59OVvVGt5eM 7828
jax_verify/tests/model_zoo_test.py sha256=Ajov40-vsyS-Ft5-Q-4BqHdsjMZGU4uIbsYfOm1PwWg 7218
jax_verify/tests/sdp_verify/crown_boundprop_test.py sha256=Bb9cCDXfCTzDv3LjN0V_s4sAe1EvcCwl2tkvayd3-Y4 3841
jax_verify/tests/sdp_verify/cvxpy_verify_test.py sha256=o57u2oe8Zn2MHbcs7fS5J3LsWx5HQssuLsvfopc01tc 5188
jax_verify/tests/sdp_verify/sdp_verify_test.py sha256=N_KflDvp4NaedcmTExsGJESBfqHvY33cPu7-Rn2MwNY 11030
jax_verify/tests/sdp_verify/test_utilfuns.py sha256=WSTEZxCpLuh7Of0yezIzh2ann6SeDJN5dxG176EcZk4 3842
jax_verify/tests/sdp_verify/test_utils.py sha256=Gp3BOB2gdLmjpGot7ArCCayy-dvo8HtPErUvgSyIMGw 7914
jax_verify-1.0.dist-info/LICENSE sha256=YAzGfMTLL16jF9z8aHrRx03Evsh4K76dsK_YNRO5Nbc 11359
jax_verify-1.0.dist-info/METADATA sha256=tqO4v5IehVqpttN_9KmY1e9IxbxdW2MsxRRVpjXNPRE 448
jax_verify-1.0.dist-info/WHEEL sha256=EVRjI69F5qVjm_YgqcTXPnTAv3BfSUr0WVAHuSP3Xoo 92
jax_verify-1.0.dist-info/top_level.txt sha256=W3cpJm61VwXbybupkdmgOEQTMpHPF0zew9CkZ64TyP4 25
jax_verify-1.0.dist-info/RECORD — —

top_level.txt

docs
examples
jax_verify