@Article{Miller.AI.2022,
  author  = {Tim Miller and Robert R. Hoffman and Ofra Amir and Andreas Holzinger},
  journal = {Artif. Intell.},
  title   = {Special issue on Explainable Artificial Intelligence {(XAI)}},
  year    = {2022},
  pages   = {103705},
  volume  = {307},
}

@Book{Molnar.Book.2022,
  author    = {Christoph Molnar},
  publisher = {leanpub.com},
  title     = {Interpretable Machine Learning: A Guide for Making Black Box Models Explainable},
  year      = {2022},
  edition   = {2nd},
  opturl    = {https://christophm.github.io/interpretable-ml-book},
}

@InProceedings{Zhao.UAI.2021,
  author    = {Xingyu Zhao and Wei Huang and Xiaowei Huang and Valentin Robu and David Flynn},
  booktitle = {Proceedings of the 37th International Conference on Uncertainty in Artificial Intelligence (UAI)},
  title     = {{BayLIME}: Bayesian local interpretable model-agnostic explanations},
  year      = {2021},
  pages     = {887--896},
}

@InProceedings{Ribeiro.KDD.2016,
  author    = {Marco T{\'{u}}lio Ribeiro and Sameer Singh and Carlos Guestrin},
  booktitle = {Proceedings of the 22nd {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining},
  title     = {"{W}hy Should {I} Trust You?": Explaining the Predictions of Any Classifier},
  year      = {2016},
  pages     = {1135--1144},
}

@InProceedings{Plumb.NeurIPS.2018,
  author    = {Gregory Plumb and Denali Molitor and Ameet Talwalkar},
  booktitle = {Advances in Neural Information Processing Systems 31. Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {Model Agnostic Supervised Local Explanations},
  year      = {2018},
  pages     = {2520--2529},
}

@InProceedings{Ramamurthy.NeurIPS.2020,
  author    = {Karthikeyan Natesan Ramamurthy and Bhanukiran Vinzamuri and Yunfeng Zhang and Amit Dhurandhar},
  booktitle = {Advances in Neural Information Processing Systems 33. Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {Model Agnostic Multilevel Explanations},
  year      = {2020},
}

@InProceedings{Blanc.NeurIPS.2021,
  author    = {Guy Blanc and Jane Lange and Li{-}Yang Tan},
  booktitle = {Advances in Neural Information Processing Systems 34: Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {Provably efficient, succinct, and precise explanations},
  year      = {2021},
  pages     = {6129--6141},
}

@InProceedings{Ribeiro.AAAI.2018,
  author    = {Marco T{\'{u}}lio Ribeiro and Sameer Singh and Carlos Guestrin},
  booktitle = {Proceedings of the 32nd Annual {AAAI} Conference on Artificial Intelligence (AAAI)},
  title     = {Anchors: High-Precision Model-Agnostic Explanations},
  year      = {2018},
  pages     = {1527--1535},
}

@InProceedings{Lundberg.NeurIPS.2017,
  author    = {Scott M. Lundberg and Su{-}In Lee},
  booktitle = {Advances in Neural Information Processing Systems 30. Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {A Unified Approach to Interpreting Model Predictions},
  year      = {2017},
  pages     = {4765--4774},
}

@InProceedings{Li.ICLR.2021,
  author    = {Jeffrey Li and Vaishnavh Nagarajan and Gregory Plumb and Ameet Talwalkar},
  booktitle = {Proceedings of the 9th International Conference on Learning Representations (ICLR)},
  title     = {A Learning Theoretic Perspective on Local Explainability},
  year      = {2021},
}

@InProceedings{Agarwal.ICML.2021,
  author    = {Sushant Agarwal and Shahin Jabbari and Chirag Agarwal and Sohini Upadhyay and Steven Wu and Himabindu Lakkaraju},
  booktitle = {Proceedings of the 38th International Conference on Machine Learning (ICML)},
  title     = {Towards the Unification and Robustness of Perturbation and Gradient Based Explanations},
  year      = {2021},
  pages     = {110--119},
}

@InProceedings{Han.NeurIPS.2022,
  author    = {Tessa Han and Suraj Srinivas and Himabindu Lakkaraju},
  booktitle = {Advances in Neural Information Processing Systems 35: Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {Which Explanation Should {I} Choose? {A} Function Approximation Perspective to Characterizing Post Hoc Explanations},
  year      = {2022},
}

@PhdThesis{Ribeiro.PhD.2018,
  author = {Marco Tulio Ribeiro},
  school = {University of Washington},
  title  = {Model-Agnostic Explanations and Evaluation of Machine Learning},
  year   = {2018},
}

@Book{Mehta.Book.2022,
  author    = {Mayuri Mehta and Vasile Palade and Indranath Chatterjee (eds.)},
  publisher = {Springer},
  title     = {Explainable {AI}: Foundations, Methodologies and Applications},
  year      = {2022},
}

@Article{Cowan.BBS.2001,
  author  = {Cowan, Nelson},
  journal = {Behavioral and Brain Sciences},
  title   = {The magical number 4 in short-term memory: A reconsideration of mental storage capacity},
  year    = {2001},
  number  = {1},
  pages   = {87–114},
  volume  = {24},
}

@Article{Miller.PR.1956,
  author  = {Georges A. Miller},
  journal = {Psychological Review},
  title   = {The Magical Number Seven, Plus or Minus Two: Some Limits On Our Capacity For Processing Information},
  year    = {1956},
  number  = {2},
  pages   = {81-97},
  volume  = {63},
}

@Article{Waeldchen.JAIR.2021,
  author  = {Stephan W{\"{a}}ldchen and Jan MacDonald and Sascha Hauch and Gitta Kutyniok},
  journal = {Journal of Artificial Intelligence Research},
  title   = {The Computational Complexity of Understanding Binary Classifier Decisions},
  year    = {2021},
  pages   = {351--387},
  volume  = {70},
}

@Article{Izza.JAR.2023,
  author  = {Yacine Izza and Xuanxiang Huang and Alexey Ignatiev and Nina Narodytska and Martin Cooper and Joao Marques-Silva},
  journal = {International Journal of Approximate Reasoning},
  title   = {On computing probabilistic abductive explanations},
  year    = {2023},
  pages   = {108939},
  volume  = {159},
}

@Article{Cooper.AI.2023,
  author  = {Martin Cooper and João Marques-Silva},
  journal = {Artificial Intelligence},
  title   = {Tractability of explaining classifier decisions},
  year    = {2023},
  pages   = {103841},
  volume  = {316},
}

@InProceedings{Ignatiev.AAAI.2019,
  author    = {Alexey Ignatiev and Nina Narodytska and Jo{\~{a}}o Marques{-}Silva},
  booktitle = {Proceedings of the 33rd Annual {AAAI} Conference on Artificial Intelligence},
  title     = {Abduction-Based Explanations for Machine Learning Models},
  year      = {2019},
  pages     = {1511--1519},
}

@InProceedings{Ignatiev.IJCAI.2020,
  author    = {Ignatiev, Alexey},
  booktitle = {Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI)},
  title     = {Towards trustable explainable {AI}},
  year      = {2020},
  pages     = {5154--5158},
}

@Article{MarquesSilva.AAAI.2022,
  author  = {Marques-Silva, Joao and Ignatiev, Alexey},
  journal = {Proceedings of the 36th Annual AAAI Conference on Artificial Intelligence},
  title   = {Delivering Trustworthy {AI} through Formal {XAI}},
  year    = {2022},
  pages   = {12342-12350},
}

@InProceedings{Darwiche.ECAI.2020,
  author    = {Adnan Darwiche and Auguste Hirth},
  booktitle = {Proceedings of the 24th European Conference on Artificial Intelligence ({ECAI})},
  title     = {On the Reasons Behind Decisions},
  year      = {2020},
  pages     = {712--720},
}

@InProceedings{Arenas.NeurIPS.2022,
  author    = {Marcelo Arenas and Pablo Barcel{\'{o}} and Miguel A. Romero Orth and Bernardo Subercaseaux},
  booktitle = {Advances in Neural Information Processing Systems 35: Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {On Computing Probabilistic Explanations for Decision Trees,},
  year      = {2022},
}

@InProceedings{Koriche.ECML.2024,
  author    = {Koriche, Frederic and Lagniez, Jean-Marie and Mengel, Stefan and Tran, Chi},
  booktitle = {Machine Learning and Knowledge Discovery in Databases. Research Track (ECML/PKDD)},
  title     = {Learning Model Agnostic Explanations via Constraint Programming},
  year      = {2024},
  pages     = {437--453},
}

@InProceedings{Subercaseaux.AAAI.2025,
  author    = {Bernardo Subercaseaux and Marcelo Arenas and Kuldeep S Meel},
  booktitle = {Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence},
  title     = {Probabilistic Explanations for Linear Models},
  year      = {2025},
  pages     = {20655--20662},
}

@InProceedings{Bounia.UAI.2023,
  author    = {Louenas Bounia and Frederic Koriche},
  booktitle = {Proceedings of the 39th International Conference on Uncertainty in Artificial Intelligence (UAI)},
  title     = {Approximating probabilistic explanations via supermodular minimization},
  year      = {2023},
  pages     = {216--225},
}

@Misc{Lage.aXiv.2019,
  author        = {Isaac Lage and Emily Chen and Jeffrey He and Menaka Narayanan and Been Kim and Sam Gershman and Finale Doshi-Velez},
  title         = {An Evaluation of the Human-Interpretability of Explanation},
  year          = {2019},
  archiveprefix = {arXiv},
  eprint        = {1902.00006},
  primaryclass  = {cs.LG},
}

@InProceedings{Arenas.Neurips.2021,
  author    = {Marcelo Arenas and Daniel B{\'{a}}ez and Pablo Barcel{\'{o}} and Jorge P{\'{e}}rez and Bernardo Subercaseaux},
  booktitle = {Advances in Neural Information Processing Systems 34: Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {Foundations of Symbolic Languages for Model Interpretability},
  year      = {2021},
  pages     = {11690--11701},
}

@Article{Bertsimas.SS.2020,
  author  = {Dimitris Bertsimas and Jean Pauphilet and Bart Van Parys},
  journal = {Statistical Science},
  title   = {Sparse Regression: Scalable Algorithms and Empirical Performance},
  year    = {2020},
  number  = {4},
  pages   = {pp. 555--578},
  volume  = {35},
}

@Article{Natarajan.SJC.1995,
  author  = {Balas K. Natarajan},
  journal = {{SIAM} J. Comput.},
  title   = {Sparse Approximate Solutions to Linear Systems},
  year    = {1995},
  number  = {2},
  pages   = {227--234},
  volume  = {24},
}

@Article{Blumensath.ACHA.2009,
  author  = {Thomas Blumensath and Mike E. Davies},
  journal = {Applied and Computational Harmonic Analysis},
  title   = {Iterative hard thresholding for compressed sensing},
  year    = {2009},
  number  = {3},
  pages   = {265-274},
  volume  = {27},
}

@Article{Hocking.Tech.1967,
  author  = {R. R. Hocking and R. N. Leslie},
  journal = {Technometrics},
  title   = {Selection of the Best Subset in Regression Analysis},
  year    = {1967},
  number  = {4},
  pages   = {531--540},
  volume  = {9},
}

@Article{Bertsimas.AOS.2016,
  author  = {Dimitris Bertsimas and Angela King and Rahul Mazumder},
  journal = {The Annals of Statistics},
  title   = {BEST SUBSET SELECTION VIA A MODERN OPTIMIZATION LENS},
  year    = {2016},
  number  = {2},
  pages   = {813--852},
  volume  = {44},
}

@Book{Hastie.Book.2015,
  author    = {Trevor Hastie and Robert Tibshirani and Martin Wainwright},
  publisher = {CRC Press},
  title     = {Statistical Learning with Sparsity: The {L}asso and Generalizations},
  year      = {2015},
}

@Book{Bertsimas.Book.2005,
  author    = {Dimitris Bertsimas and Robert Weismantel},
  publisher = {Dynamic Ideas},
  title     = {Optimization Over Integers},
  year      = {2005},
}

@Article{Beale.Biom.1967,
  author  = {E. M. L. Beale and M. G. Kendall and D. W. Mann},
  journal = {Biometrika},
  title   = {The Discarding of Variables in Multivariate Analysis},
  year    = {1967},
  number  = {3/4},
  pages   = {357--366},
  volume  = {54},
}

@InProceedings{Kakade.NeruIPS.2008,
  author    = {Sham M. Kakade and Karthik Sridharan and Ambuj Tewari},
  booktitle = {Advances in Neural Information Processing Systems 21, Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {On the Complexity of Linear Prediction: Risk Bounds, Margin Bounds, and Regularization},
  year      = {2008},
  pages     = {793--800},
}

@Book{ShalevShwartz.Book.2014,
  author    = {Shalev-Shwartz, Shai and Ben-David, Shai},
  publisher = {Cambridge University Press},
  title     = {Understanding Machine Learning: From Theory to Algorithms},
  year      = {2014},
}

@Book{Bernstein.Book.2009,
  author    = {Bernstein, Denis S.},
  publisher = {Princeton University Press},
  title     = {Matrix Mathematics: Theory, Facts, and Formulas (Second Edition)},
  year      = {2009},
}

@Book{Kolchin.Book.1999,
  author    = {Kolchin, Valentin F.},
  publisher = {Cambridge University Press},
  title     = {Random Graphs},
  year      = {1999},
}

@Article{Jain.FTML.2017,
  author  = {Prateek Jain and Purushottam Kar},
  journal = {Foundations and Trends® in Machine Learning},
  title   = {Non-convex Optimization for Machine Learning},
  year    = {2017},
  number  = {3-4},
  pages   = {142-363},
  volume  = {10},
}

@Article{Candes.TIT.2009,
  author  = {Candes, Emmanuel and Tao, Terence},
  journal = {IEEE Transactions on Information Theory},
  title   = {Decoding by linear programming},
  year    = {2005},
  number  = {12},
  pages   = {4203-4215},
  volume  = {51},
}

@Article{Baraniuk.CA.2008,
  author  = {Richard Baraniuk and Mark Davenport and Ronald DeVore and Michael Wakin},
  journal = {Constructive Approximation},
  title   = {A Simple Proof of the Restricted Isometry Property for Random Matrices},
  year    = {2008},
  pages   = {253-263},
  volume  = {28},
}

@InProceedings{Achlioptas.PODS.2001,
  author    = {Dimitris Achlioptas},
  booktitle = {Proceedings of the 20th {ACM} Symposium on Principles of Database Systems (PODS)},
  title     = {Database-friendly random projections},
  year      = {2001},
  pages     = {274–281},
}

@InProceedings{Kyrillidis.ICML.2013,
  author    = {Anastasios Kyrillidis and Stephen Becker and Volkan Cevher and Christoph Koch},
  booktitle = {Proceedings of the 30th International Conference on Machine Learning (ICML)},
  title     = {Sparse projections onto the simplex},
  year      = {2013},
  pages     = {235--243},
}

@InProceedings{Lage.HCOMP.2019,
  author    = {Isaac Lage and Emily Chen and Jeffrey He and Menaka Narayanan and Been Kim and Samuel J. Gershman and Finale Doshi{-}Velez},
  booktitle = {Proceedings of the 7th {AAAI} Conference on Human Computation and Crowdsourcing (HCOMP)},
  title     = {Human Evaluation of Models Built for Interpretability},
  year      = {2019},
  pages     = {59--67},
}

@InProceedings{Garg.ICML.2009,
  author    = {Garg, Rahul and Khandekar, Rohit},
  booktitle = {Proceedings of the 26th International Conference on Machine Learning (ICML)},
  title     = {Gradient descent with sparsification: an iterative algorithm for sparse recovery with restricted isometry property},
  year      = {2009},
  pages     = {337–344},
}

@InProceedings{Jain.NeurIPS.2014,
  author    = {Jain, Prateek and Tewari, Ambuj and Kar, Purushottam},
  booktitle = {Advances in Neural Information Processing Systems 27: Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS)},
  title     = {On iterative hard thresholding methods for high-dimensional {M}-estimation},
  year      = {2014},
  pages     = {685–693},
}

@Article{Saaty.MCM.2003,
  author  = {Thomas L. Saaty and M{\"{u}}jgan Sagir {\"{O}}zdemir},
  journal = {Mathematical and Computer Modelling},
  title   = {Why the magic number seven plus or minus two},
  year    = {2003},
  number  = {3},
  pages   = {233-244},
  volume  = {38},
}

@Comment{jabref-meta: databaseType:bibtex;}
