Alternatives and similar repositories for xreason

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

• 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…
  ☆37Updated 5 months ago
• jcperdomo / performative-prediction
  ☆32Updated 3 years ago
• azreasoners / NeurASP
  ☆48Updated last year
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated 2 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• UCLA-StarAI / Density-Estimation-Datasets
  A collection of commonly used datasets as benchmarks for density estimation
  ☆24Updated 5 years ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆50Updated 2 years ago
• lfochamon / csl
  csl: PyTorch-based Constrained Learning
  ☆12Updated 3 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆66Updated 7 months 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 last year
• randriu / synthesis
  ☆23Updated this week
• code-terminator / classwise_rationale
  Tensorflow implementation for the Class-wise Selective Rationalization
  ☆14Updated 2 years ago
• JonathanCrabbe / Symbolic-Pursuit
  Github for the NIPS 2020 paper "Learning outside the black-box: at the pursuit of interpretable models"
  ☆15Updated 3 years ago
• charmlab / mace
  Model Agnostic Counterfactual Explanations
  ☆88Updated 3 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆21Updated 2 years ago
• VNN-COMP / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 4 years ago
• charmlab / recourse
  Code to reproduce our paper on probabilistic algorithmic recourse: https://arxiv.org/abs/2006.06831
  ☆37Updated 2 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 11 months ago
• dh7401 / T-Cal
  ☆10Updated 3 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 5 months ago
• abacusai / xai-bench
  XAI-Bench is a library for benchmarking feature attribution explainability techniques
  ☆70Updated 2 years ago
• eberharf / cfl
  ☆19Updated 5 months ago
• chenhongge / treeVerification
  [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…
  ☆27Updated 6 years ago
• larslorch / stadion
  Causal Modeling with Stationary Diffusions, AISTATS 2024
  ☆19Updated 7 months ago
• jmikko / fair_ERM
  Fair Empirical Risk Minimization (FERM)
  ☆37Updated 5 years ago
• x-y-zhao / BayLime
  bayesian lime
  ☆18Updated last year
• dylan-slack / Fooling-LIME-SHAP
  Adversarial Attacks on Post Hoc Explanation Techniques (LIME/SHAP)
  ☆84Updated 2 years ago
• interpretml / LLM-Tabular-Memorization-Checker
  Testing Language Models for Memorization of Tabular Datasets.
  ☆35Updated 8 months ago
• algowatchpenn / GerryFair
  library for fair auditing and learning of classifiers with respect to rich subgroup fairness.
  ☆32Updated 6 years ago
• divyat09 / cf-feasibility
  Code accompanying the paper "Preserving Causal Constraints in Counterfactual Explanations for Machine Learning Classifiers"
  ☆31Updated 2 years ago