Alternatives and similar repositories for xreason:

Users that are interested in xreason are comparing it to the libraries listed below

• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆49Updated last year
• lvhimabindu / interpretable_decision_sets
  ☆20Updated 6 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆56Updated 2 months ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 3 years ago
• jcperdomo / performative-prediction
  ☆31Updated 3 years ago
• oval-group / oval-bab
  OVAL framework for BaB-based Neural Network Verification
  ☆13Updated last year
• charmlab / mace
  Model Agnostic Counterfactual Explanations
  ☆87Updated 2 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated last year
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• crillab / pyxai
  PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…
  ☆33Updated last week
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 2 years ago
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆86Updated 9 months ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• meelgroup / MLIC
  A new framework to generate interpretable classification rules
  ☆17Updated 2 years ago
• opendataval / opendataval
  OpenDataVal: a Unified Benchmark for Data Valuation in Python (NeurIPS 2023)
  ☆96Updated 2 months ago
• divyat09 / cf-feasibility
  Code accompanying the paper "Preserving Causal Constraints in Counterfactual Explanations for Machine Learning Classifiers"
  ☆31Updated 2 years ago
• verivital / vnn-comp
  ☆12Updated 2 years ago
• talwagner / fair_clustering
  ☆20Updated 5 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆27Updated last year
• laudv / veritas
  Versatile Verification of Tree Ensembles
  ☆17Updated 10 months ago
• ykwon0407 / beta_shapley
  Beta Shapley: a Unified and Noise-reduced Data Valuation Framework for Machine Learning (AISTATS 2022 Oral)
  ☆40Updated 2 years ago
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 6 years ago
• fel-thomas / Sobol-Attribution-Method
  👋 Code for the paper: "Look at the Variance! Efficient Black-box Explanations with Sobol-based Sensitivity Analysis" (NeurIPS 2021)
  ☆30Updated 2 years ago
• oval-group / PLNN-verification
  All code for the Piecewise Linear Neural Networks verification: A comparative study paper
  ☆36Updated 6 years ago
• andreArtelt / ceml
  CEML - Counterfactuals for Explaining Machine Learning models - A Python toolbox
  ☆44Updated last week
• dylan-slack / Modeling-Uncertainty-Local-Explainability
  Local explanations with uncertainty 💐!
  ☆40Updated last year
• eth-sri / deepg
  Certifying Geometric Robustness of Neural Networks
  ☆16Updated 2 years ago
• alexeyignatiev / minds
  SAT-based miner of smallest size decision sets
  ☆11Updated 4 years ago
• stanleybak / vnncomp2023
  Fourth edition of VNN COMP (2023)
  ☆16Updated 2 years ago