Verification of Neural Networks: Enhancing Scalability through Pruning

17 March 2020

Papers citing "Verification of Neural Networks: Enhancing Scalability through Pruning"

4 / 4 papers shown

Title
VeriFlow: Modeling Distributions for Neural Network Verification Faried Abu Zaid Daniel Neider Mustafa Yalçıner 128 0 0 20 Jun 2024
Verifiable Learning for Robust Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Giulio Ermanno Pibiri N. Prezza AAML 78 3 0 05 May 2023
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks Dario Guidotti Luca Pulina A. Tacchella 3DV 21 3 0 18 Nov 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 97 37 0 06 Mar 2020