TY  - RPRT
TI  - ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
AU  - Marco Casadio
AU  - Luca Arnaboldi
AU  - Matthew L. Daggitt
AU  - Omri Isac
AU  - Tanvi Dinkar
AU  - Daniel Kienitz
AU  - Verena Rieser
AU  - Ekaterina Komendantskaya
PY  - 2023
UR  - https://arxiv.org/abs/2305.04003
ID  - 2305.04003
ER  -