Publications

Preprints

In Press

  • On Explaining Random Forests with SAT. Yacine Izza and Joao Marques-Silva. IJCAI
  • Reasoning-Based Learning of Interpretable ML Models. Alexey Ignatiev, Joao Marques-Silva, Nina Narodytska and Peter Stuckey. IJCAI
  • Explanations for Monotonic Classifiers. Joao Marques-Silva, Thomas Gerspacher, Martinc Cooper, Alexey Ignatiev and Nina Narodytska. ICML
  • SAT-Based Rigorous Explanations for Decision Lists. Alexey Ignatiev and Joao Marques-Silva. SAT
  • Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. Stepan Kochemazov, Alexey Ignatiev and Joao Marques-Silva. SAT
  • On Efficiently Explaining Graph-Based Classifiers. Xuanxiang Huang, Yacine Izza, Alexey Ignatiev and Joao Marques-Silva. KR

2021

2020

2019