Search Results for author:
Found 4 papers, 1 papers with code
OVLA: Neural Network Ownership Verification using Latent Watermarks
Existing ownership verification methods either modify or introduce constraints to the neural network parameters, which are accessible to an attacker in a white-box attack and can be harmful to the network's normal operation, or train the network to respond to specific watermarks in the inputs similar to data poisoning-based backdoor attacks, which are susceptible to backdoor removal techniques.
A Tool for Neural Network Global Robustness Certification and Training
Moreover, GROCET provides differentiable global robustness, which is leveraged in the training of globally robust neural networks.
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees
By leveraging the piecewise linear nature of ReLU networks, our approach can efficiently construct a patch network tailored to the linear region where the buggy input resides, which when combined with the original network, provably corrects the behavior on the buggy input.
