Name		Name	Last commit message	Last commit date
ERAN		ERAN
data		data
figure		figure
model		model
result		result
.gitignore		.gitignore
CIFAR10-CNN.ipynb		CIFAR10-CNN.ipynb
MILP.py		MILP.py
MNIST.ipynb		MNIST.ipynb
MNIST_CNN.ipynb		MNIST_CNN.ipynb
README.md		README.md
Untitled.ipynb		Untitled.ipynb
analyzeCNN.py		analyzeCNN.py
analyzeCNN_gurobi.py		analyzeCNN_gurobi.py
eran_init.py		eran_init.py
gurobi.prm		gurobi.prm
gurobi.rew		gurobi.rew
gurobi_python_test.py		gurobi_python_test.py
heuristic_strategy.py		heuristic_strategy.py
main.py		main.py
network_parser.py		network_parser.py
neuralnetwork.py		neuralnetwork.py
nn_activation.py		nn_activation.py
nn_distance_evaluator.py		nn_distance_evaluator.py
nn_range.py		nn_range.py
nn_range_refiner.py		nn_range_refiner.py
nn_robustness_evaluator.py		nn_robustness_evaluator.py
phased_MILP.py		phased_MILP.py
reachnn.py		reachnn.py
read_net_file.py		read_net_file.py
run_exp.sh		run_exp.sh
run_exp_LP.sh		run_exp_LP.sh
run_exp_cifar_LP.sh		run_exp_cifar_LP.sh
test.py		test.py
test_gurobi.py		test_gurobi.py
test_network.py		test_network.py
test_reachnn.py		test_reachnn.py

Repository files navigation

LayR

LayR is a verification tool for output range analysis of general CNN

About

This version of ReachNN is for output range analysis of general CNN

1 star

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages