Alternatives and similar repositories for xreason

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

• lfochamon / csl
  csl: PyTorch-based Constrained Learning
  ☆12Updated 3 years ago
• dh7401 / T-Cal
  ☆10Updated 3 years ago
• UCLA-StarAI / Density-Estimation-Datasets
  A collection of commonly used datasets as benchmarks for density estimation
  ☆24Updated 6 years ago
• jcperdomo / performative-prediction
  ☆33Updated 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…
  ☆87Updated last year
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated 6 months 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
• 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 last week
• VNN-COMP / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 4 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆71Updated last month
• p-lambda / in-n-out
  Code for the ICLR 2021 Paper "In-N-Out: Pre-Training and Self-Training using Auxiliary Information for Out-of-Distribution Robustness"
  ☆13Updated 4 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
• randriu / synthesis
  ☆24Updated 2 weeks ago
• talwagner / fair_clustering
  ☆20Updated 6 years ago
• SiccoVerwer / binoct
  Binary Programming Formulation for Learning Classification Trees Using Cplex
  ☆12Updated 7 years ago
• x-y-zhao / BayLime
  bayesian lime
  ☆18Updated last year
• azreasoners / NeurASP
  ☆48Updated 2 years ago
• a-lucic / focus
  ☆16Updated 3 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
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last year
• shizhouxing / Local-Lipschitz-Constants
  [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
  ☆27Updated 2 years ago
• dylan-slack / Modeling-Uncertainty-Local-Explainability
  Local explanations with uncertainty 💐!
  ☆42Updated 2 years ago
• huanzhang12 / RecurJac-and-CROWN
  Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…
  ☆27Updated 6 years ago
• harris-chris / joint-shapley-values
  Source code for the Joint Shapley values: a measure of joint feature importance
  ☆13Updated 4 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…
  ☆15Updated 3 years ago
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 6 years ago
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Updated 3 years ago
• ebmoon / transformers-GAD
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆25Updated 11 months ago