Skip to main content

PRDNN

Provable Repair of DNNs. See our Github repository for more information.

Prerequisites

You will need to install Gurobi.

If you wish to do polytope patching, you will also need a running SyReNN server. See the SyReNN GitHub repository for more details. We also use PyTorch, please ensure you have the desired version of PyTorch installed before installing this package.

Supported Python Versions

We only test against Python 3.7.4, however we believe it should work for other versions of Python as well.

Metadata

Release files for prdnn 1.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Built distribution (wheel)

Table of built distributions (wheels) for prdnn 1.0
File Interpreter ABI Platform
prdnn-1.0-py2.py3-none-any.whl Python 3, Python 2 none any Details

Release files / prdnn-1.0-py2.py3-none-any.whl

Download URL prdnn-1.0-py2.py3-none-any.whl
Size 14.0 kB
Tags Python 2 Python 3
SHA-256 checksum
How to use checksums
a0ab80fbc76f19d4538cc09bffaa613633333e7d64c640681a0ed6dc584dc2dd
BLAKE2b-256 checksum
How to use checksums
ddb68d84dc8f3e66373e1675420234b0ab1a69b11123decf66e690ff5abb31b3
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.22.0 requests-toolbelt/0.8.0 tqdm/4.30.0 CPython/3.8.5

Release history Release notifications | RSS feed

This release

1.0 This release

1 release file

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page