Skip to content

Bound tightenings using INVPROP and Partial Multi-Neuron Relaxation algorithms.#892

Open
ido-shm-uel wants to merge 93 commits into
NeuralNetworkVerification:masterfrom
ido-shm-uel:INVPROP_PMNR
Open

Bound tightenings using INVPROP and Partial Multi-Neuron Relaxation algorithms.#892
ido-shm-uel wants to merge 93 commits into
NeuralNetworkVerification:masterfrom
ido-shm-uel:INVPROP_PMNR

Three fixes: 1. Limiting PMNR max iterations to 10. 2. Removing unuse…

faee9d2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors and 1 warning

The logs for this run have expired and are no longer available.