67 citations · 98 across the 11 of their papers we have counts for
3 papers · 1 filter
Kill it with FIRE: On Leveraging Latent Space Directions for Runtime Backdoor Mitigation in Deep Neural Networks
Enrico Ahlers, Daniel Passon, Yannic Noller +1
Machine learning models are increasingly present in our everyday lives; as a result, they become targets of adversarial attackers seeking to manipulate the systems we interact with…
NNrepair: Constraint-based Repair of Neural Network Classifiers
Muhammad Usman, Divya Gopinath, Youcheng Sun +2
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the la…
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Muhammad Usman, Yannic Noller, Corina Pasareanu +2
This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and…