3 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.CL2022
Why Robust Natural Language Understanding is a Challenge
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser +4
With the proliferation of Deep Machine Learning into real-life applications, a particular property of this technology has been brought to attention: robustness Neural Networks noto…
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…