David A. Kelly

20 papers A 3B 1Journal 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
I Guess That's Why They Call it the Blues: Causal Analysis for Audio Classifiers.
CoRR
David A. Kelly, Hana Chockler
2025 J jnl
3D ReX: Causal Explanations in 3D Neuroimaging Classification.
CoRR
Melane Navaratnarajah, Sophie A. Martin, David A. Kelly, Nathan Blake, Hana Chockler
2025 J jnl
Activation-Deactivation: A General Framework for Robust Post-hoc Explainable AI.
CoRR
Akchunya Chanchal, David A. Kelly, Hana Chockler
2025 J jnl
Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification.
CoRR
David A. Kelly, Hana Chockler
2025 J jnl
Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae.
CoRR
Stav Armoni-Friedmann, Hana Chockler, David A. Kelly
2025 A conf
Explaining Negative Classifications of AI Models in Tumor Diagnosis.
UAI
David A. Kelly, Hana Chockler, Nathan Blake
2025 J jnl
I Am Big, You Are Little; I Am Right, You Are Wrong.
CoRR
David A. Kelly, Akchunya Chanchal, Nathan Blake
2025 A conf
Multiple Different Black Box Explanations for Image Classifiers.
ECAI
Hana Chockler, David A. Kelly, Daniel Kroening
2025 J jnl
Out-of-the-box: Black-box Causal Attacks on Object Detectors.
CoRR
Melane Navaratnarajah, David A. Kelly, Hana Chockler
2025 J jnl
SpecReX: Explainable AI for Raman Spectroscopy.
CoRR
Nathan Blake, David A. Kelly, Akchunya Chanchal, Sarah Kapllani-Mucaj, Geraint Thomas, Hana Chockler
2025 J jnl
To BEE or not to BEE: Estimating more than Entropy with Biased Entropy Estimators.
CoRR
Ilaria Pia La Torre, David A. Kelly, Héctor Menéndez, David Clark
2024 J jnl
Causal Explanations for Image Classifiers.
CoRR
Hana Chockler, David A. Kelly, Daniel Kroening, Youcheng Sun
2024 J jnl
DiscreteEntropy.jl: Entropy Estimation of Discrete Random Variables with Julia.
J. Open Source Softw.
David A. Kelly, Ilaria Pia La Torre
2024 J jnl
Real-Time Incremental Explanations for Object Detectors.
CoRR
Santiago Calderon Pena, Hana Chockler, David A. Kelly
2023 A conf
June: A Type Testability Transformation for Improved ATG Performance.
ISSTA
Dan Bruce, David A. Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark
2023 J jnl
MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting.
CoRR
Nathan Blake, Hana Chockler, David A. Kelly, Santiago Calderon Pena, Akchunya Chanchal
2023 J jnl
Multiple Different Explanations for Image Classifiers.
CoRR
Hana Chockler, David A. Kelly, Daniel Kroening
2023 B conf
StableYolo: Optimizing Image Generation for Large Language Models.
SSBSE
Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David A. Kelly, Héctor D. Menéndez, Rebecca Moussa, Federica Sarro
2023 J jnl
You Only Explain Once.
CoRR
David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar
2019 J jnl
SafeStrings: Representing Strings as Structured Data.
CoRR
David A. Kelly, Mark Marron, David Clark, Earl T. Barr