Alternatives and similar repositories for xreason:

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

• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• alexeyignatiev / minds
  SAT-based miner of smallest size decision sets
  ☆12Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆55Updated 2 weeks ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆48Updated last year
• ML-KULeuven / deepstochlog
  ☆27Updated last year
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated last year
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆44Updated 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 7 months ago
• azreasoners / NeurASP
  ☆43Updated last year
• jcperdomo / performative-prediction
  ☆31Updated 3 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆27Updated last year
• 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…
  ☆31Updated 2 weeks ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated 10 months ago
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆49Updated last year
• laudv / veritas
  Versatile Verification of Tree Ensembles
  ☆17Updated 9 months ago
• UCLA-StarAI / Density-Estimation-Datasets
  A collection of commonly used datasets as benchmarks for density estimation
  ☆24Updated 5 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated last year
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 5 months ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 3 years ago
• ilaspltd / ILASP-releases
  ☆36Updated 4 months ago
• charmlab / mace
  Model Agnostic Counterfactual Explanations
  ☆87Updated 2 years ago
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆14Updated 2 years ago
• andreArtelt / ceml
  CEML - Counterfactuals for Explaining Machine Learning models - A Python toolbox
  ☆42Updated 7 months ago
• QuMuLab / dsharp
  ☆17Updated 2 years ago
• alejandromolinaml / MSPN
  Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains
  ☆16Updated 6 years ago
• meelgroup / MLIC
  A new framework to generate interpretable classification rules
  ☆17Updated 2 years ago
• AlgTUDelft / pystreed
  Python Implementation of STreeD: Dynamic Programming Approach for Optimal Decision Trees with Separable objectives and Constraints
  ☆16Updated last month
• randriu / synthesis
  ☆22Updated this week