Publications

Preprints

In Press

  • Delivering Trustworthy AI through Formal XAI. Joao Marques-Silva and Alexey Ignatiev. AAAI
  • Tractable Explanations for d-DNNF Classifiers. Xuanxiang Huan, Yacine Izza, Alexey Ignatiev, Martin Cooper, Nicholas Asher and Joao Marques-Silva. AAAI
  • Using MaxSAT for Efficient Explanations of Tree Ensembles. Alexey Ignatiev, Yacine Izza, Peter Stuckey and Joao Marques-Silva. AAAI
  • Constraint-Driven Explanations of Black-Box ML Models. Aditya Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep Meel, Joao Marques-Silva and Moshe Vardi. AAAI

2022

2021

2020

2019