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.
  ☆50Updated 2 years ago
• alexeyignatiev / minds
  SAT-based miner of smallest size decision sets
  ☆11Updated 4 years ago
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆62Updated 4 months ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated last year
• meelgroup / MLIC
  A new framework to generate interpretable classification rules
  ☆17Updated 2 years ago
• lvhimabindu / interpretable_decision_sets
  ☆20Updated 6 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆27Updated last year
• interpretml / LLM-Tabular-Memorization-Checker
  Testing Language Models for Memorization of Tabular Datasets.
  ☆33Updated 4 months ago
• lfochamon / csl
  csl: PyTorch-based Constrained Learning
  ☆12Updated 3 years ago
• UCLA-StarAI / Density-Estimation-Datasets
  A collection of commonly used datasets as benchmarks for density estimation
  ☆24Updated 5 years ago
• charmlab / mace
  Model Agnostic Counterfactual Explanations
  ☆87Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆45Updated 8 months ago
• ilaspltd / ILASP-releases
  ☆37Updated 7 months ago
• ML-KULeuven / deepstochlog
  ☆33Updated last year
• jcperdomo / performative-prediction
  ☆32Updated 3 years ago
• socialfoundations / error-parity
  Achieve error-rate fairness between societal groups for any score-based classifier.
  ☆18Updated last year
• talwagner / fair_clustering
  ☆20Updated 6 years ago
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆50Updated last year
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆77Updated 5 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated last month
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 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
• dh7401 / T-Cal
  ☆10Updated 3 years ago
• jmikko / fair_ERM
  Fair Empirical Risk Minimization (FERM)
  ☆37Updated 4 years ago
• stefanoteso / caipi
  CAIPI turns LIMEs into trust!
  ☆12Updated 5 years ago
• vas-group-imperial / venus
  Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…
  ☆14Updated 2 years ago
• divyat09 / cf-feasibility
  Code accompanying the paper "Preserving Causal Constraints in Counterfactual Explanations for Machine Learning Classifiers"
  ☆31Updated 2 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 2 years ago