{"list":"other","total":66,"rows":[{"id":"1705.07874","title":"A Unified Approach to Interpreting Model Predictions","created":"2017-05-22","cited_by_count":6555},{"id":"1703.01365","title":"Axiomatic Attribution for Deep Networks","created":"2017-03-04","cited_by_count":3384},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1704.03296","title":"Interpretable Explanations of Black Boxes by Meaningful Perturbation","created":"2017-04-11","cited_by_count":612},{"id":"1806.10758","title":"A Benchmark for Interpretability Methods in Deep Neural Networks","created":"2018-06-28","cited_by_count":476},{"id":"2002.11297","title":"Generalized ODIN: Detecting Out-of-distribution Image without Learning from Out-of-distribution Data","created":"2020-02-26","cited_by_count":408},{"id":"1908.08474","title":"The many Shapley values for model explanation","created":"2019-08-22","cited_by_count":344},{"id":"1705.01320","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","created":"2017-05-03","cited_by_count":242},{"id":"1909.09369","title":"FACE: Feasible and Actionable Counterfactual Explanations","created":"2019-09-20","cited_by_count":233},{"id":"1909.11480","title":"Input complexity and out-of-distribution detection with likelihood-based generative models","created":"2019-09-25","cited_by_count":186},{"id":"1910.13413","title":"Feature relevance quantification in explainable AI: A causal problem","created":"2019-10-29","cited_by_count":167},{"id":"1702.04595","title":"Visualizing Deep Neural Network Decisions: Prediction Difference Analysis","created":"2017-02-15","cited_by_count":166},{"id":"1811.10656","title":"Abduction-Based Explanations for Machine Learning Models","created":"2018-11-26","cited_by_count":160},{"id":"1807.08024","title":"Explaining Image Classifiers by Counterfactual Generation","created":"2018-07-20","cited_by_count":144},{"id":"2210.14707","title":"Is Out-of-Distribution Detection Learnable?","created":"2022-10-26","cited_by_count":109},{"id":"2002.09284","title":"On The Reasons Behind Decisions","created":"2020-02-21","cited_by_count":100},{"id":"2009.08634","title":"On the Tractability of SHAP Explanations","created":"2020-09-18","cited_by_count":92},{"id":"2106.00786","title":"The Out-of-Distribution Problem in Explainability and Search Methods for Feature Importance Explanations","created":"2021-06-01","cited_by_count":87},{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81},{"id":"2112.00787","title":"Provable Guarantees for Understanding Out-of-distribution Detection","created":"2021-12-01","cited_by_count":78},{"id":"2004.05511","title":"Verification of Deep Convolutional Neural Networks Using ImageStars","created":"2020-04-12","cited_by_count":75},{"id":"2010.12265","title":"Model Interpretability through the Lens of Computational Complexity","created":"2020-10-23","cited_by_count":75},{"id":"1910.14574","title":"An Abstraction-Based Framework for Neural Network Verification","created":"2019-10-31","cited_by_count":68},{"id":"2008.05803","title":"Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay","created":"2020-08-13","cited_by_count":57},{"id":"2105.10278","title":"On Explaining Random Forests with SAT","created":"2021-05-21","cited_by_count":57},{"id":"2105.03640","title":"On Guaranteed Optimal Robust Explanations for NLP Models","created":"2021-05-08","cited_by_count":54},{"id":"2006.00442","title":"Evaluations and Methods for Explanation through Robustness Analysis","created":"2020-05-31","cited_by_count":51},{"id":"2011.02948","title":"An SMT-Based Approach for Verifying Binarized Neural Networks","created":"2020-11-05","cited_by_count":47},{"id":"2108.13654","title":"Discretized Integrated Gradients for Explaining Language Models","created":"2021-08-31","cited_by_count":46},{"id":"2010.13984","title":"Interpretation of NLP models through input marginalization","created":"2020-10-27","cited_by_count":44},{"id":"1810.13072","title":"Formal Verification of Neural Network Controlled Autonomous Systems","created":"2018-10-31","cited_by_count":41},{"id":"1912.00574","title":"Fastened CROWN: Tightened Neural Network Robustness Certificates","created":"2019-12-02","cited_by_count":39},{"id":"2106.00154","title":"Explanations for Monotonic Classifiers","created":"2021-06-01","cited_by_count":39},{"id":"2106.01350","title":"On Efficiently Explaining Graph-Based Classifiers","created":"2021-06-02","cited_by_count":37},{"id":"2104.01396","title":"Neural Network Robustness as a Verification Property: A Principled Case Study","created":"2021-04-03","cited_by_count":35},{"id":"2207.12213","title":"On Computing Probabilistic Explanations for Decision Trees","created":"2022-06-30","cited_by_count":35},{"id":"2105.11931","title":"Towards Scalable Verification of Deep Reinforcement Learning","created":"2021-05-25","cited_by_count":33},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33},{"id":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30},{"id":"2004.02462","title":"Verifying Recurrent Neural Networks using Invariant Inference","created":"2020-04-06","cited_by_count":26},{"id":"2109.06387","title":"Rationales for Sequential Predictions","created":"2021-09-14","cited_by_count":26},{"id":"2110.02376","title":"Foundations of Symbolic Languages for Model Interpretability","created":"2021-10-05","cited_by_count":26},{"id":"2206.11900","title":"ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations","created":"2022-06-23","cited_by_count":26},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24},{"id":"2203.10451","title":"On the Computation of Necessary and Sufficient Explanations","created":"2022-03-20","cited_by_count":23},{"id":"2206.09551","title":"Eliminating The Impossible, Whatever Remains Must Be True","created":"2022-06-20","cited_by_count":23},{"id":"2209.07740","title":"Computing Abductive Explanations for Boosted Trees","created":"2022-09-16","cited_by_count":23},{"id":"2210.15675","title":"Feature Necessity & Relevancy in ML Classifier Explanations","created":"2022-10-27","cited_by_count":23},{"id":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","cited_by_count":23},{"id":"2405.08297","title":"Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation","created":"2024-05-14","cited_by_count":21},{"id":"2301.07068","title":"The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks","created":"2023-01-17","cited_by_count":19},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18},{"id":"2405.14058","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","created":"2024-05-22","cited_by_count":16},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14},{"id":"2406.06507","title":"Verification-Guided Shielding for Deep Reinforcement Learning","created":"2024-06-10","cited_by_count":13},{"id":"2106.00546","title":"Efficient Explanations With Relevant Sets","created":"2021-06-01","cited_by_count":12},{"id":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-12-06","cited_by_count":12},{"id":"2406.04184","title":"Shield Synthesis for LTL Modulo Theories","created":"2024-06-06","cited_by_count":12},{"id":"2206.09603","title":"Constrained Reinforcement Learning for Robotics via Scenario-Based Programming","created":"2022-06-20","cited_by_count":11},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11},{"id":"2405.02936","title":"On the Tractability of SHAP Explanations under Markovian Distributions","created":"2024-05-05","cited_by_count":10},{"id":"2301.04041","title":"Manifold Restricted Interventional Shapley Values","created":"2023-01-10","cited_by_count":9},{"id":"2202.04337","title":"Scenario-Assisted Deep Reinforcement Learning","created":"2022-02-09","cited_by_count":8},{"id":"2402.05284","title":"Analyzing Adversarial Inputs in Deep Reinforcement Learning","created":"2024-02-07","cited_by_count":7},{"id":"2407.07088","title":"Safe and Reliable Training of Learning-Based Aerospace Controllers","created":"2024-07-09","cited_by_count":4},{"id":"2009.11150","title":"Information-Theoretic Visual Explanation for Black-Box Classifiers","created":"2020-09-23","cited_by_count":3}],"next_cursor":null}