paper-with-me

홈 › Papers

Self-explaining deep models with logic rule reasoning

2022-10-13 · Seungeon Lee, Xiting Wang, Sungwon Han, Xiaoyuan Yi, Xing Xie, Meeyoung Cha

We present SELOR, a framework for integrating self-explaining capabilities into a given deep model to achieve both high prediction performance and human precision. By "human precision", we refer to the degree to which humans agree with the reasons models provide for their predictions. Human precision affects user trust and allows users to collaborate closely with the model. We demonstrate that logic rule explanations naturally satisfy human precision with the expressive power required for good predictive performance. We then illustrate how to enable a deep model to predict and explain with logic rules. Our method does not require predefined logic rule sets or human annotations and can be learned efficiently and easily with widely-used deep learning modules in a differentiable way. Extensive experiments show that our method gives explanations closer to human decision logic than other methods while maintaining the performance of deep learning models.

📄 PDF Abstract BibTeX arXiv:2210.07024

Code (1)

archon159/selor 공식 구현 pytorch

Tasks

Deep Learning

Similar Papers 제목 키워드 기반

Chain of Logic: Rule-Based Reasoning with Large Language Models

2024-02-16 · Sergio Servantez, Joe Barrow, Kristian Hammond, Rajiv Jain

Rule-based reasoning, a fundamental type of legal reasoning, enables us to draw conclusions by accurately applying a rule to a set of facts. We explore causal language models as rule-based reasoners, specifically with re…

Legal Reasoning

Logic Explanation of AI Classifiers by Categorical Explaining Functors

2025-03-20 · Stefano Fioravanti, Francesco Giannini, Paolo Frazzetto, Fabio Zanasi 외

The most common methods in explainable artificial intelligence are post-hoc techniques which identify the most relevant features used by pretrained opaque models. Some of the most advanced post hoc methods can generate e…

Explainable artificial intelligence

TE2Rules: Explaining Tree Ensembles using Rules

2022-06-29 · G Roshan Lal, Xiaotong Chen, Varun Mithal

Tree Ensemble (TE) models, such as Gradient Boosted Trees, often achieve optimal performance on tabular datasets, yet their lack of transparency poses challenges for comprehending their decision logic. This paper introdu…

Binary ClassificationDecision MakingExplainable artificial intelligenceExplanation Generation

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction

2024-11-02 · Liao Zhang, David M. Cerna, Cezary Kaliszyk

Formally verifying the correctness of mathematical proofs is more accessible than ever, however, the learning curve remains steep for many of the state-of-the-art interactive theorem provers (ITP). Deriving the most appr…

Automated Theorem ProvingInductive logic programmingMathematical ProofsPrediction

Towards fuzzification of adaptation rules in self-adaptive architectures

2021-12-17 · Tomáš Bureš, Petr Hnětynka, Martin Kruliš, Danylo Khalyeyev 외

In this paper, we focus on exploiting neural networks for the analysis and planning stage in self-adaptive architectures. The studied motivating cases in the paper involve existing (legacy) self-adaptive architectures an…

Navigate