101 citations · 491 across the 53 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021
A Computability Perspective on (Verified) Machine Learning
Tonicha Crook, Jay Morgan, Arno Pauly +1
There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable. It is much less clear what veri…
cs.LG2021★ 2 cited
Adaptive Neighbourhoods for the Discovery of Adversarial Examples
Jay Morgan, Adeline Paiement, Arno Pauly +1
Deep Neural Networks (DNNs) have often supplied state-of-the-art results in pattern recognition tasks. Despite their advances, however, the existence of adversarial examples have c…