Our paper titled “PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier,” is accepted for publication at the 33rd International Conference on Computer-Aided Verification (CAV), 2021.
Our paper titled “PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier,” is accepted for publication at the 33rd International Conference on Computer-Aided Verification (CAV), 2021.