Title |
|---|
 Hard to Explain: On the Computational Hardness of In-Distribution Model
InterpretationEuropean Conference on Artificial Intelligence (ECAI), 2024 |
 |
 Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksInternational Conference on Computer Aided Verification (CAV), 2024 |
 A Cross Attention Approach to Diagnostic Explainability using Clinical
Practice Guidelines for DepressionIEEE journal of biomedical and health informatics (IEEE JBHI), 2023 |
 Language Models as a Service: Overview of a New Paradigm and its
ChallengesJournal of Artificial Intelligence Research (JAIR), 2023 |
 When to Trust AI: Advances and Challenges for Certification of Neural
NetworksConference on Computer Science and Information Systems (FedCSIS), 2023 |
 Formally Explaining Neural Networks within Reactive SystemsFormal Methods in Computer-Aided Design (FMCAD), 2023 |
 Delivering Inflated ExplanationsAAAI Conference on Artificial Intelligence (AAAI), 2023 |
 Adversarial attacks and defenses in explainable artificial intelligence: A surveyInformation Fusion (Inf. Fusion), 2023 |
 Disproving XAI Myths with Formal Methods -- Initial ResultsIEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2023 |
 Robust Explanation Constraints for Neural NetworksInternational Conference on Learning Representations (ICLR), 2022 |
 On Computing Probabilistic Abductive ExplanationsInternational Journal of Approximate Reasoning (IJAR), 2022 |
 VeriX: Towards Verified Explainability of Deep Neural NetworksNeural Information Processing Systems (NeurIPS), 2022 |
 Feature Necessity & Relevancy in ML Classifier ExplanationsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 Towards Formal XAI: Formally Approximate Minimal Explanations of Neural
NetworksInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 |
 Eliminating The Impossible, Whatever Remains Must Be TrueAAAI Conference on Artificial Intelligence (AAAI), 2022 |
 Fooling Explanations in Text ClassifiersInternational Conference on Learning Representations (ICLR), 2022 |
 On Tackling Explanation Redundancy in Decision TreesJournal of Artificial Intelligence Research (JAIR), 2022 |
