NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation

21 September 2020

Papers citing "NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation"

2 / 2 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 55 0 0 23 Feb 2025
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 43 0 0 26 Oct 2024