@article{antoniotowardsasystematicmethodof,
  title = {ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification},
  author = {Marco Casadio and Luca Arnaboldi and Matthew L. Daggitt and Omri Isac and Tanvi Dinkar and Daniel Kienitz and Verena Rieser and Ekaterina Komendantskaya},
  year = {2023},
  eprint = {2305.04003},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.04003v3},
}