crillab / pyxaiLinks
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, ...).
☆34Updated last month
Alternatives and similar repositories for pyxai
Users that are interested in pyxai are comparing it to the libraries listed below
Sorting:
- A Python Library for modeling combinatorial constrained problems☆68Updated 2 weeks ago
- Models (and data) of constrained problems developped with the library PyCSP3☆10Updated last month
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Constraint Solver ACE☆31Updated 2 weeks ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated last month
- ☆15Updated last week
- COmpact SOlver for COnstrained problems☆12Updated 2 weeks ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated this week
- XReason - formal reasoning about explanations for ML models☆17Updated last month
- d4 Model Counter☆16Updated 2 years ago
- A new framework to generate interpretable classification rules☆17Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 4 months ago
- ☆33Updated last year
- A cpmpy-based library for constraint acquisition.☆18Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 7 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 8 months ago
- A collection of problem specifications in Essence.☆10Updated last month
- ☆37Updated 7 months ago
- XCSP3 Core Parser in C++☆19Updated 2 months ago
- 🐧 Clingo Interactive UI☆26Updated this week
- A tool for explainability and debugging in Answer Set Programming.☆14Updated 3 months ago
- ☆19Updated 2 years ago
- OCEAN: Optimal Counterfactual Explanations in Tree Ensembles (ICML 2021)☆20Updated last year
- Fast Gradient Boosting Decision Trees with Bit-Level Data Structures☆17Updated 2 years ago
- XCSP3 Tools in Java☆22Updated last week
- ☆18Updated 3 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- Differentiable probabilistic answer set programming☆23Updated this week
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 5 months ago