20 citations · 69 across the 11 of their papers we have counts for
20 papers
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo +14
This paper addresses the problem of autonomous UAV search missions, where a UAV must locate specific Entities of Interest (EOIs) within a time limit, based on brief descriptions in…
On Formal Feature Attribution and Its Approximation
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
Recent years have witnessed the widespread use of artificial intelligence (AI) algorithms and machine learning (ML) models. Despite their tremendous success, a number of vital prob…
Provably Precise, Succinct and Efficient Explanations for Decision Trees
Yacine Izza, Alexey Ignatiev, Nina Narodytska +2
Decision trees (DTs) embody interpretable classifiers. DTs have been advocated for deployment in high-risk applications, but also for explaining other complex classifiers. Neverthe…
Efficient Explanations for Knowledge Compilation Languages
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev +3
Knowledge compilation (KC) languages find a growing number of practical uses, including in Constraint Programming (CP) and in Machine Learning (ML). In most applications, one natur…
On Efficiently Explaining Graph-Based Classifiers
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev +1
Recent work has shown that not only decision trees (DTs) may not be interpretable but also proposed a polynomial-time algorithm for computing one PI-explanation of a DT. This paper…
Efficient Explanations With Relevant Sets
Yacine Izza, Alexey Ignatiev, Nina Narodytska +2
Recent work proposed -relevant inputs (or sets) as a probabilistic explanation for the predictions made by a classifier on a given input. -relevant sets are significant becau…