crillab / pyxai
PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random Forests, Boosted Trees, ...).
☆29Updated 2 weeks ago
Related projects: ⓘ
- A Python Library for modeling combinatorial constrained problems☆60Updated last week
- Constraint Solver ACE☆26Updated this week
- Experimentation framework for Popper☆18Updated 4 months ago
- XReason - formal reasoning about explanations for ML models☆16Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated last year
- A collection of problem specifications in Essence.☆10Updated 4 months ago
- ☆21Updated this week
- Code for "Explainable Data-Driven Optimization" (ICML 2023)☆13Updated last year
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆36Updated this week
- ☆25Updated 7 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆11Updated 3 months ago
- ☆16Updated 2 years ago
- A tool for explainability and debugging in Answer Set Programming.☆10Updated 3 months ago
- 🍀 A system for probabilistic reasoning in clingo☆15Updated 2 months ago
- Python package for Sentential Decision Diagrams (SDD)☆53Updated 2 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆20Updated 2 years ago
- ☆35Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 8 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated last year
- OCEAN: Optimal Counterfactual Explanations in Tree Ensembles (ICML 2021)☆20Updated 7 months ago
- Python interface for SWI-Prolog☆36Updated last week
- DepQBF, a solver for quantified boolean formulae (QBF).☆31Updated last year
- Versatile Verification of Tree Ensembles☆16Updated 3 months ago
- Empirical Model Learning Library☆19Updated last year
- d4 Model Counter☆14Updated last year
- Nutmeg – a MIP and CP branch-and-check solver☆22Updated last year
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆13Updated 2 months ago
- Differentiable probabilistic answer set programming☆17Updated 3 weeks ago