Alternatives and similar repositories for xreason

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

• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆63Updated 5 months ago
• lfochamon / csl
  csl: PyTorch-based Constrained Learning
  ☆12Updated 3 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…
  ☆34Updated 3 months ago
• jcperdomo / performative-prediction
  ☆33Updated 3 years ago
• art-ai / pypsdd
  The Python PSDD Package
  ☆17Updated 3 weeks ago
• code-terminator / classwise_rationale
  Tensorflow implementation for the Class-wise Selective Rationalization
  ☆14Updated 2 years ago
• UCLA-StarAI / Density-Estimation-Datasets
  A collection of commonly used datasets as benchmarks for density estimation
  ☆24Updated 5 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 last year
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆18Updated 2 years ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 4 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆30Updated last year
• dh7401 / T-Cal
  ☆10Updated 3 years ago
• dylan-slack / Modeling-Uncertainty-Local-Explainability
  Local explanations with uncertainty 💐!
  ☆40Updated 2 years ago
• azreasoners / NeurASP
  ☆46Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 2 months ago
• charmlab / mace
  Model Agnostic Counterfactual Explanations
  ☆87Updated 2 years ago
• JonathanCrabbe / Symbolic-Pursuit
  Github for the NIPS 2020 paper "Learning outside the black-box: at the pursuit of interpretable models"
  ☆15Updated 2 years ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆50Updated 2 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 9 months ago
• jmikko / fair_ERM
  Fair Empirical Risk Minimization (FERM)
  ☆37Updated 4 years ago
• laudv / veritas
  Versatile Verification of Tree Ensembles
  ☆18Updated last year
• abacusai / xai-bench
  XAI-Bench is a library for benchmarking feature attribution explainability techniques
  ☆70Updated 2 years 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
• ebmoon / transformers-GAD
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆21Updated 6 months ago
• x-y-zhao / BayLime
  bayesian lime
  ☆17Updated last year
• AI4LIFE-GROUP / OpenXAI
  OpenXAI : Towards a Transparent Evaluation of Model Explanations
  ☆247Updated 11 months ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 2 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated 2 years ago
• dylan-slack / Fooling-LIME-SHAP
  Adversarial Attacks on Post Hoc Explanation Techniques (LIME/SHAP)
  ☆83Updated 2 years ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago