101 citations · 491 across the 53 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 1 cited
The Weihrauch degree of finding Nash equilibria in multiplayer games
Tonicha Crook, Arno Pauly
Is there an algorithm that takes a game in normal form as input, and outputs a Nash equilibrium? If the payoffs are integers, the answer is yes, and lot of work has been done in it…
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…