LayR

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

Name		Name	Last commit message	Last commit date
Latest commit History 269 Commits
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

Provide feedback