SW-based systems depend more and more on AI also for critical tasks. For instance, the use of machine learning, especially for image recognition, is increasing ever more. As state-of …
Recent work has proposed neural network pruning techniques to reduce the size of a network while preserving robustness against adversarial examples, ie, well-crafted inputs …
W Essbai, A Bombarda, S Bonfanti… - Proceedings of the 5th …, 2024 - dl.acm.org
Neural networks (NNs) play a crucial role in safety-critical fields, requiring robustness assurance. Bayesian Neural Networks (BNNs) address data uncertainty, providing …
Despite the overwhelming success of neural networks for pattern recognition, these models behave categorically different from humans. Adversarial examples, small perturbations …