33 citations · 35 across the 3 of their papers we have counts for
3 papers
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study
Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger +2
Feature attribution XAI algorithms enable their users to gain insight into the underlying patterns of large datasets through their feature importance calculation. Existing feature…
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…
Extracting verified decision procedures: DPLL and Resolution
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg +1
This article is concerned with the application of the program extraction technique to a new class of problems: the synthesis of decision procedures for the classical satisfiability…