Neural network robustness as a verification property: a principled case study M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ... International Conference on Computer Aided Verification, 219-231, 2022 | 31 | 2022 |
The Vehicle Tutorial: Neural Network Verification with Vehicle M Daggitt, W Kokke, E Komendantskaya, R Atkey, L Arnaboldi, N Slusarz, ... Workshop on Formal Methods for ML-Enabled Autonomous Systems 16, 1-5, 2023 | 4 | 2023 |
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification M Casadio, L Arnaboldi, ML Daggitt, O Isac, T Dinkar, D Kienitz, V Rieser, ... arXiv preprint arXiv:2305.04003, 2023 | 2 | 2023 |
Property-driven Training: All You (N) Ever Wanted to Know About. M Casadio, ML Daggitt, E Komendantskaya, W Kokke, D Kienitz, ... arXiv preprint arXiv 2104, 2021 | 1 | 2021 |
NLP Verification: Towards a General Methodology for Certifying Robustness M Casadio, T Dinkar, E Komendantskaya, L Arnaboldi, O Isac, ML Daggitt, ... arXiv preprint arXiv:2403.10144, 2024 | | 2024 |
Why Robust Natural Language Understanding is a Challenge M Casadio, E Komendantskaya, V Rieser, ML Daggitt, D Kienitz, ... arXiv preprint arXiv:2206.14575, 2022 | | 2022 |
Network robustness as a mathematical property: training, evaluation and attack M Casadio, ML Daggitt, E Komendantskaya, W Kokke, R Stewart | | 2021 |