Skip to main content

Provable Repair of DNNs

Project description

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.

Project details


Release history Release notifications | RSS feed

This version

1.0

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

prdnn-1.0-py2.py3-none-any.whl (14.0 kB view hashes)

Uploaded Python 2 Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page