Search Results for author:
Found 3 papers, 0 papers with code
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
In particular, many known neural network verification methods that work for computer vision and other numeric datasets do not work for NLP.
Why Robust Natural Language Understanding is a Challenge
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 notoriously present low robustness and can be highly sensitive to small input perturbations.
Neural Network Verification for the Masses (of AI graduates)
We will discuss future directions for incorporating verification into AI degrees.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
