BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.
☆20Oct 10, 2025Updated 4 months ago
Alternatives and similar repositories for boolxai
Users that are interested in boolxai are comparing it to the libraries listed below
Sorting:
- [ACM 2024] Jurity: Fairness & Evaluation Library☆57Oct 11, 2024Updated last year
- [AMAI 2024] Selective: Feature Selection Library☆69Sep 9, 2025Updated 5 months ago
- [AAAI 2022] Seq2Pat: Sequence-to-Pattern Generation Library☆135Dec 3, 2024Updated last year
- [AAAI 2024] Mab2Rec: Multi-Armed Bandits Recommender☆158Oct 11, 2024Updated last year
- MaxiCP☆17Updated this week
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆15Nov 15, 2025Updated 3 months ago
- Codes and data for CIKM 2022 paper "RuDi: Explaining Behavior Sequence Models by Automatic Statistics Generation and Rule Distillation"☆12Aug 16, 2022Updated 3 years ago
- A rule-based aproach to explain the output of any machine learning model☆15Apr 4, 2024Updated last year
- ☆55Nov 10, 2025Updated 3 months ago
- Models (and data) of constrained problems developped with the library PyCSP3☆13Dec 15, 2025Updated 2 months ago
- Optimization-Based Rule Learning for Classification☆49Oct 3, 2025Updated 4 months ago
- A Python Library for Standardized and Reproducible Data Management in Recommender Systems☆18Feb 12, 2026Updated 2 weeks ago
- A Python durations parsing library☆26Nov 10, 2015Updated 10 years ago
- ☆16Jun 27, 2023Updated 2 years ago
- ☆23Updated this week
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 3 years ago
- Optimization Models used in my e-book with the same title☆14Dec 17, 2025Updated 2 months ago
- An open, end-to-end implementation of TabPFN-like foundation models, covering synthetic priors/data, training, and evaluation on TabArena…☆26Jan 5, 2026Updated last month
- Python Implementation of STreeD: Dynamic Programming Approach for Optimal Decision Trees with Separable objectives and Constraints☆18Nov 28, 2025Updated 3 months ago
- Ludwig benchmark☆19Mar 13, 2022Updated 3 years ago
- Random-Key Optimizer (RKO) - C++ framework☆21Mar 31, 2025Updated 11 months ago
- Iterate fast on your RAG pipelines☆24Jun 21, 2025Updated 8 months ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆22Sep 23, 2025Updated 5 months ago
- Hosting of Assignment Visualizations for Discrete Optimization Coursera☆15Nov 16, 2016Updated 9 years ago
- This repository contains materials for AC295 fall 2020☆19Feb 3, 2021Updated 5 years ago
- MIT's Supply Chain Python Package☆27Oct 6, 2025Updated 4 months ago
- An open-source course on constraint solving☆25Oct 24, 2025Updated 4 months ago
- GitHub Mirror of RecPack: Experimentation Toolkit for Top-N Recommendation (see https://gitlab.com/recpack-maintainers/recpack)☆22Dec 11, 2023Updated 2 years ago
- Learning clinical-decision rules with interpretable models.☆20Aug 10, 2023Updated 2 years ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- ☆24Jan 6, 2026Updated last month
- [INTERSPEECH 2012] Feature Selection in High-Dimensional Classification☆19Aug 8, 2015Updated 10 years ago
- The Stochastic Local Search SAT Solver from UBC☆32Apr 10, 2022Updated 3 years ago
- Interactive Recommender Systems Framework☆25Apr 5, 2024Updated last year
- Core Mathematical Functions for Multi-Objective Optimization☆49Updated this week
- A scalable Python library for fetching, processing, and exporting structured football match data.☆33Jun 28, 2025Updated 8 months ago
- ☆29Nov 2, 2021Updated 4 years ago
- AI Assistant for Building Reliable, High-performing and Fair Multilingual NLP Systems☆48Aug 19, 2022Updated 3 years ago