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, ...).
☆33Updated last month
Alternatives and similar repositories for pyxai:
Users that are interested in pyxai are comparing it to the libraries listed below
- Constraint Solver ACE☆29Updated this week
- A Python Library for modeling combinatorial constrained problems☆66Updated this week
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated 3 months ago
- ☆14Updated 2 months ago
- Empirical Model Learning Library☆19Updated 2 years ago
- A toolbox for fair and explainable machine learning☆55Updated 9 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- ☆36Updated 4 months ago
- OCEAN: Optimal Counterfactual Explanations in Tree Ensembles (ICML 2021)☆20Updated last year
- ☆29Updated last year
- XReason - formal reasoning about explanations for ML models☆16Updated last year
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆51Updated 2 weeks ago
- Code for "Explainable Data-Driven Optimization" (ICML 2023)☆14Updated last year
- Exact optimization for cost function networks and additive graphical models☆53Updated this week
- COmpact SOlver for COnstrained problems☆12Updated this week
- ☆20Updated 3 years ago
- Competing Risks and Survival Analysis☆92Updated this week
- Access to all MiniZinc functionality directly from Python☆157Updated last month
- Statistical Tests for Algorithms Comparison (STAC) is a new platform for statistical analysis to verify the results obtained from computa…☆34Updated 4 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆251Updated last week
- XCSP3 Tools in Java☆22Updated last month
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 7 months ago
- Python Implementation of Bertsimas's "Optimal classification trees".☆33Updated 4 years ago
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆168Updated last year
- A new framework to generate interpretable classification rules☆17Updated 2 years ago
- Born-Again Tree Ensembles: Transforms a random forest into a single, minimal-size, tree with exactly the same prediction function in the …☆65Updated last year
- 🕰️ A solver for temporal programs.☆22Updated 9 months ago
- A benchmark library for constraints☆89Updated 5 months ago
- A package for tree-based statistical estimation and inference using optimal decision trees.☆40Updated 8 months ago