47 citations · 179 across the 22 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Abduction-Based Explanations for Machine Learning Models
Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva
The growing range of applications of Machine Learning (ML) in a multitude of settings motivates the ability of computing small explanations for predictions made. Small explanations…
cs.AI2018★ 6 cited
On Cryptographic Attacks Using Backdoors for SAT
Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov +2
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number…