alexeyignatiev / xreasonView external linksLinks
XReason - formal reasoning about explanations for ML models
☆17May 16, 2025Updated 9 months ago
Alternatives and similar repositories for xreason
Users that are interested in xreason are comparing it to the libraries listed below
Sorting:
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Oct 31, 2022Updated 3 years ago
- Tensorflow implementation for the Class-wise Selective Rationalization☆15Feb 15, 2023Updated 3 years ago
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- Github for the NIPS 2020 paper "Learning outside the black-box: at the pursuit of interpretable models"☆15Sep 7, 2022Updated 3 years ago
- This is the official implementation for the paper "Learning to Scaffold: Optimizing Model Explanations for Teaching"☆19May 19, 2022Updated 3 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 years ago
- Code for paper "Leakage-Adjusted Simulatability: Can Models Generate Non-Trivial Explanations of Their Behavior in Natural Language?"☆22Oct 13, 2020Updated 5 years ago
- Codes for reproducing the contrastive explanation in “Explanations based on the Missing: Towards Contrastive Explanations with Pertinent…☆54Jul 4, 2018Updated 7 years ago
- ☆25Aug 2, 2024Updated last year
- Official implementation for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds (NeurIPS, 2021).☆25Sep 4, 2022Updated 3 years ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆39Jan 20, 2026Updated 3 weeks ago
- ☆34Jan 13, 2022Updated 4 years ago
- 👋 Code for the paper: "Look at the Variance! Efficient Black-box Explanations with Sobol-based Sensitivity Analysis" (NeurIPS 2021)☆33Jul 18, 2022Updated 3 years ago
- Code for the paper "Distinguishing the Knowable from the Unknowable with Language Models"☆11Apr 15, 2024Updated last year
- Code for the paper "SMACE: A New Method for the Interpretability of Composite Decision Systems", ECML 2022☆15Apr 17, 2023Updated 2 years ago
- Enhanced Explainable Neural Network☆10Dec 25, 2021Updated 4 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- ☆10Aug 16, 2023Updated 2 years ago
- Temporal summarization framework☆10Dec 4, 2023Updated 2 years ago
- ☆13Feb 4, 2025Updated last year
- ☆12Jun 18, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Deep Generative Model (Torch)☆11Apr 19, 2016Updated 9 years ago
- ☆11Dec 14, 2022Updated 3 years ago
- JSSP dataset for LLMs☆17May 29, 2025Updated 8 months ago
- Adaptive and Robust Multi-Task Learning☆10May 19, 2024Updated last year
- ☆14Jan 11, 2021Updated 5 years ago
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 3 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- ☆10Apr 15, 2022Updated 3 years ago
- Comparing sequential forecasters via confidence sequences & e-processes☆11Oct 24, 2023Updated 2 years ago
- solver for discrete Mixed Observable Markov Decision Processes☆11Oct 30, 2020Updated 5 years ago
- ☆11Jan 13, 2026Updated last month
- SODEN: A Scalable Continuous-Time Survival Model through Ordinary Differential Equation Networks☆14Mar 2, 2023Updated 2 years ago
- Software package for intertemporal pricing optimization under reference effects and consumer heterogeneity estimation. Please see REAMDE.…☆10Mar 7, 2024Updated last year
- Official code for Conformal Isometry of Lie Group Representation in Recurrent Network of Grid Cells (NeurIPS workshop on Symmetry and Geo…☆13Nov 1, 2022Updated 3 years ago
- ☆12Feb 27, 2023Updated 2 years ago