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
  ☆19Updated 3 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…
  ☆87Updated last year
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated 4 months ago
• UCLA-StarAI / Density-Estimation-Datasets
  A collection of commonly used datasets as benchmarks for density estimation
  ☆24Updated 5 years 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…
  ☆39Updated 7 months ago
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Updated 2 years ago
• ilaspltd / ILASP-releases
  ☆39Updated last year
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆53Updated 2 years ago
• abacusai / xai-bench
  XAI-Bench is a library for benchmarking feature attribution explainability techniques
  ☆70Updated 2 years ago
• jcperdomo / performative-prediction
  ☆32Updated 3 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
• randriu / synthesis
  ☆24Updated last week
• VNN-COMP / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 4 years ago
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 6 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆68Updated 2 weeks ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 11 months ago
• azreasoners / NeurASP
  ☆49Updated 2 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆22Updated 2 years ago
• dh7401 / T-Cal
  ☆10Updated 3 years ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 3 weeks ago
• SiccoVerwer / binoct
  Binary Programming Formulation for Learning Classification Trees Using Cplex
  ☆12Updated 7 years ago
• charmlab / mace
  Model Agnostic Counterfactual Explanations
  ☆88Updated 3 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆37Updated 7 months ago
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆48Updated last year
• code-terminator / classwise_rationale
  Tensorflow implementation for the Class-wise Selective Rationalization
  ☆14Updated 2 years ago
• reml-lab / URSABench
  Codebase for our paper "URSABench: Comprehensive Benchmarking of Approximate Bayesian Inference Methods for Deep Neural Networks"
  ☆18Updated 3 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 3 years ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆23Updated last year
• dylan-slack / Modeling-Uncertainty-Local-Explainability
  Local explanations with uncertainty 💐!
  ☆41Updated 2 years ago