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 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for pyxai
- A Python Library for modeling combinatorial constrained problems☆61Updated this week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- XReason - formal reasoning about explanations for ML models☆16Updated last year
- ☆26Updated 9 months ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆232Updated this week
- Constraint Solver ACE☆26Updated this week
- Experimentation framework for Popper☆20Updated 6 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Replacing standard support propagation by belief propagation in MiniCP☆11Updated 2 weeks ago
- Python package for Sentential Decision Diagrams (SDD)☆54Updated 3 weeks ago
- ☆19Updated last year
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated last year
- The CP solver Chuffed☆20Updated 8 years ago
- ☆16Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 11 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- A tool for explainability and debugging in Answer Set Programming.☆13Updated last month
- COmpact SOlver for COnstrained problems☆12Updated last week
- ☆35Updated last week
- The Chuffed CP solver☆92Updated this week
- Python interface for SWI-Prolog☆42Updated this week
- Differentiable probabilistic answer set programming☆18Updated last week
- Exact optimization for cost function networks and additive graphical models☆51Updated 2 weeks ago
- A collection of commonly used datasets as benchmarks for density estimation☆24Updated 4 years ago
- OCEAN: Optimal Counterfactual Explanations in Tree Ensembles (ICML 2021)☆20Updated 9 months ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆42Updated 3 weeks ago
- A collection of problem specifications in Essence.☆10Updated 6 months ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆13Updated 4 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year