Marco Casadio

According to our database, Marco Casadio authored at least 7 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

NLP Verification: Towards a General Methodology for Certifying Robustness.

Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon

CoRR, 2024

2023

The Vehicle Tutorial: Neural Network Verification with Vehicle.

Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.

Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Why Robust Natural Language Understanding is a Challenge.

Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke

CoRR, 2022

Neural Network Robustness as a Verification Property: A Principled Case Study.

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Property-driven Training: All You (N)Ever Wanted to Know About.

Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart

CoRR, 2021

2014

A Compact 3D Camera Suited for Mobile and Embedded Vision Applications.

Stefano Mattoccia, Ilario Marchio, Marco Casadio

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2014