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
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated last year
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• jcperdomo / performative-prediction
  ☆31Updated 3 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 2 years ago
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆14Updated 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 month
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆56Updated last month
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated last year
• stefanoteso / caipi
  CAIPI turns LIMEs into trust!
  ☆12Updated 4 years ago
• lvhimabindu / interpretable_decision_sets
  ☆20Updated 6 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 3 years ago
• oval-group / oval-bab
  OVAL framework for BaB-based Neural Network Verification
  ☆13Updated last year
• interpretml / LLM-Tabular-Memorization-Checker
  Testing Language Models for Memorization of Tabular Datasets.
  ☆33Updated last month
• art-ai / pypsdd
  The Python PSDD Package
  ☆16Updated 6 months ago
• meelgroup / MLIC
  A new framework to generate interpretable classification rules
  ☆17Updated 2 years ago
• alexeyignatiev / minds
  SAT-based miner of smallest size decision sets
  ☆12Updated 4 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 8 months ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 6 months ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated 2 years ago
• lfochamon / csl
  csl: PyTorch-based Constrained Learning
  ☆12Updated 2 years ago
• laudv / veritas
  Versatile Verification of Tree Ensembles
  ☆17Updated 9 months ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated 10 months ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• andreArtelt / ceml
  CEML - Counterfactuals for Explaining Machine Learning models - A Python toolbox
  ☆43Updated 8 months ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆27Updated last year
• verivital / vnn-comp
  ☆12Updated 2 years ago
• liffiton / MARCO
  A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
  ☆18Updated 2 years ago