@misc{indiciae8e6963096573,
  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},
  url = {https://arxiv.org/abs/2305.04003},
  note = {Source identifier: 2305.04003}
}