TY  - RPRT
TI  - NLP Verification: Towards a General Methodology for Certifying Robustness
AU  - Marco Casadio
AU  - Tanvi Dinkar
AU  - Ekaterina Komendantskaya
AU  - Luca Arnaboldi
AU  - Matthew L. Daggitt
AU  - Omri Isac
AU  - Guy Katz
AU  - Verena Rieser
AU  - Oliver Lemon
PY  - 2025
DO  - 10.1017/s0956792525000099
UR  - https://arxiv.org/abs/2403.10144
ID  - 2403.10144
ER  -