ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification

Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt +5

Verification of machine learning models used in Natural Language Processing (NLP) is known to be a hard problem. In particular, many known neural network verification methods that…