v1v2 (latest)

On Tractable Representations of Binary Neural Networks

5 April 2020

Weijia Shi

Papers citing "On Tractable Representations of Binary Neural Networks"

36 / 36 papers shown

Title
Semantic Probabilistic Control of Language Models Kareem Ahmed Catarina G Belém Padhraic Smyth Sameer Singh 115 1 0 04 May 2025
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 126 1 0 27 May 2024
FlowPG: Action-constrained Policy Gradient with Normalizing Flows J. Brahmanage Jiajing Ling Akshat Kumar 68 4 0 07 Feb 2024
Attribution-Scores in Data Management and Explainable Machine Learning Leopoldo Bertossi XAI FAtt CML 59 1 0 31 Jul 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 104 16 0 31 Jul 2023
Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks Yiping Tang Kohei Hatano Eiji Takimoto 23 0 0 08 Jun 2023
Logic for Explainable AI Adnan Darwiche 73 8 0 09 May 2023
A New Class of Explanations for Classifiers with Non-Binary Features Chunxi Ji Adnan Darwiche FAtt 74 3 0 28 Apr 2023
Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation Leopoldo Bertossi Jorge E. Leon FAtt 114 2 0 11 Mar 2023
Attribution-Scores and Causal Counterfactuals as Explanations in Artificial Intelligence Leopoldo Bertossi XAI CML 88 5 0 06 Mar 2023
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks Shahaf Bassan Guy Katz FAtt AAML 112 26 0 25 Oct 2022
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 135 40 0 24 Oct 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 69 2 0 18 Aug 2022
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations Ryma Boumazouza Fahima Cheikh Bertrand Mazure Karim Tabia 72 32 0 23 Jun 2022
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration Ryma Boumazouza Fahima Cheikh-Alili Bertrand Mazure Karim Tabia 49 0 0 23 Jun 2022
A Symbolic Approach for Counterfactual Explanations Ryma Boumazouza Fahima Cheikh Bertrand Mazure Karim Tabia BDL 47 9 0 20 Jun 2022
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 100 64 0 20 May 2022
Cardinality-Minimal Explanations for Monotonic Neural Networks Ouns El Harzli Bernardo Cuenca Grau Ian Horrocks FAtt 73 6 0 19 May 2022
Deep Learning with Logical Constraints Eleonora Giunchiglia Mihaela C. Stoian Thomas Lukasiewicz NAI AI4CE 109 62 0 01 May 2022
On the Computation of Necessary and Sufficient Explanations Adnan Darwiche Chunxi Ji FAtt 62 19 0 20 Mar 2022
Tractable Boolean and Arithmetic Circuits Adnan Darwiche TPM 81 13 0 07 Feb 2022
Principled Diverse Counterfactuals in Multilinear Models I. Papantonis Vaishak Belle AAML 43 3 0 17 Jan 2022
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI Adnan Darwiche Pierre Marquis 41 26 0 23 Aug 2021
Explanations for Monotonic Classifiers Sasha Rubin Thomas Gerspacher M. Cooper Alexey Ignatiev Nina Narodytska FAtt 96 46 0 01 Jun 2021
A unified logical framework for explanations in classifier systems Xinghan Liu E. Lorini 67 12 0 30 May 2021
Probabilistic Sufficient Explanations Eric Wang Pasha Khosravi Guy Van den Broeck XAI FAtt TPM 174 25 0 21 May 2021
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions Benjie Wang Clare Lyle Marta Z. Kwiatkowska TPM 38 7 0 19 May 2021
On Guaranteed Optimal Robust Explanations for NLP Models Emanuele La Malfa A. Zbrzezny Rhiannon Michelmore Nicola Paoletti Marta Z. Kwiatkowska FAtt 77 48 0 08 May 2021
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results Marcelo Arenas Pablo Barceló Leopoldo Bertossi Mikaël Monet FAtt 68 35 0 16 Apr 2021
Declarative Approaches to Counterfactual Explanations for Classification Leopoldo Bertossi 67 17 0 15 Nov 2020
Model Interpretability through the Lens of Computational Complexity Pablo Barceló Mikaël Monet Jorge A. Pérez Bernardo Subercaseaux 212 98 0 23 Oct 2020
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay Sasha Rubin Thomas Gerspacher Martin C. Cooper Alexey Ignatiev Nina Narodytska FAtt 72 63 0 13 Aug 2020
Reliable Post hoc Explanations: Modeling Uncertainty in Explainability Dylan Slack Sophie Hilgard Sameer Singh Himabindu Lakkaraju FAtt 134 163 0 11 Aug 2020
The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits Marcelo Arenas Pablo Barceló Mikaël Monet FAtt 80 8 0 28 Jul 2020
On Symbolically Encoding the Behavior of Random Forests Arthur Choi Andy Shih Anchal Goyanka Adnan Darwiche AI4CE 60 32 0 03 Jul 2020
Three Modern Roles for Logic in AI Adnan Darwiche AI4CE 133 56 0 18 Apr 2020