Bound propagation
Linear and interval bound propagation in Pytorch with easy-to-use API, GPU support, and heavy parallization. Initially made as an alternative to the original CROWN implementation which featured only Numpy, lots of for-loops, and a cumbersome API.
To install:
pip install bound-propagation
Supported bound propagation methods:
For the examples below assume the following network definition:
from torch import nn
from bound_propagation import crown, crown_ibp, ibp
# The decorators _must_ be on a subclass of nn.Sequential
@crown
@crown_ibp
@ibp
class Network(nn.Sequential):
def __init__(self, *args):
if args:
# To support __get_index__ of nn.Sequential when slice indexing
# CROWN (and implicitly CROWN-IBP) is doing this underlying
super().__init__(*args)
else:
in_size = 30
classes = 10
super().__init__(
nn.Linear(in_size, 16),
nn.Tanh(),
nn.Linear(16, 16),
nn.Tanh(),
nn.Linear(16, classes)
)
net = Network()
Alternatively, you can add the functions to your network by calling the functions with an instance of your network:
from torch import nn
from bound_propagation import crown, crown_ibp, ibp
class Network(nn.Sequential):
def __init__(self, *args):
if args:
# To support __get_index__ of nn.Sequential when slice indexing
# CROWN (and implicitly CROWN-IBP) is doing this underlying
super().__init__(*args)
else:
in_size = 30
classes = 10
super().__init__(
nn.Linear(in_size, 16),
nn.Tanh(),
nn.Linear(16, 16),
nn.Tanh(),
nn.Linear(16, classes)
)
# The instance _must_ be an nn.Sequential or a subclass thereof
net = crown(crown_ibp(ibp(Network())))
The method also works with nn.Sigmoid and nn.ReLU.
Interval bounds
To get interval bounds for either IBP, CROWN, or CROWN-IBP:
x = torch.rand(100, 30)
epsilon = 0.1
lower, upper = x - epsilon, x + epsilon
ibp_bounds = net.ibp(lower, upper)
crown_bounds = net.crown_interval(lower, upper)
crown_ibp_bounds = net.crown_ibp_interval(lower, upper)
Linear bounds
To get linear bounds for either CROWN or CROWN-IBP:
x = torch.rand(100, 30)
epsilon = 0.1
lower, upper = x - epsilon, x + epsilon
crown_bounds = net.crown_linear(lower, upper)
crown_ibp_bounds = net.crown_ibp_linear(lower, upper)
Authors
- Frederik Baymler Mathiesen - PhD student @ TU Delft
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file bound_propagation-0.1.1.tar.gz.
File metadata
- Download URL: bound_propagation-0.1.1.tar.gz
- Upload date:
- Size: 20.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/3.7.1 importlib_metadata/4.10.1 pkginfo/1.8.2 requests/2.27.1 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
e0827b2ec7fefc647284c927e83895b54fe3dcd70bad2db79d0080a09a36991f
|
|
| MD5 |
782eec4da9bd57cfcc960a4f717d8af7
|
|
| BLAKE2b-256 |
762d5aae5f91511b1b465763786692a4172abb0c2c166b0c3c3d7f06440e7780
|
File details
Details for the file bound_propagation-0.1.1-py3-none-any.whl.
File metadata
- Download URL: bound_propagation-0.1.1-py3-none-any.whl
- Upload date:
- Size: 21.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/3.7.1 importlib_metadata/4.10.1 pkginfo/1.8.2 requests/2.27.1 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
198aa7fde0450a6b05421e807a2c40ade78a8e4cdc333d284d7b194046afddf9
|
|
| MD5 |
b66a2c52ec2821bdba2eb3bc14ca2835
|
|
| BLAKE2b-256 |
4af437af6a9d9528033dc09a21739f0ebfa7399ad7cc15515bd9a75619053b15
|
