Marco Casadio

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Natural Language

Top Venues

Publications

Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
NLP Verification: Towards a General Methodology for Certifying Robustness. CoRR (2024)
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. FoMLAS@CAV (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. CoRR (2023)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
Neural Network Robustness as a Verification Property: A Principled Case Study. CAV (1) (2022)
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
Why Robust Natural Language Understanding is a Challenge. CoRR (2022)
Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
Property-driven Training: All You (N)Ever Wanted to Know About. CoRR (2021)
Stefano Mattoccia, Ilario Marchio, Marco Casadio
A Compact 3D Camera Suited for Mobile and Embedded Vision Applications. CVPR Workshops (2014)