2 papers
cs.CL2023
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…
cs.AI2019
Neural Network Verification for the Masses (of AI graduates)
Ekaterina Komendantskaya, Rob Stewart, Kirsy Duncan +3
Rapid development of AI applications has stimulated demand for, and has given rise to, the rapidly growing number and diversity of AI MSc degrees. AI and Robotics research communit…