XReason - formal reasoning about explanations for ML models
☆18Sep 8, 2026Updated last month
Alternatives and similar repositories for xreason
Users that are interested in xreason are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆15Oct 9, 2026Updated last week
- ☆25Aug 2, 2024Updated 2 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Aug 1, 2024Updated 2 years ago
- Implementation of the first neural natural logic paper on natural language inference☆10Oct 31, 2022Updated 3 years ago
- Code for paper "Leakage-Adjusted Simulatability: Can Models Generate Non-Trivial Explanations of Their Behavior in Natural Language?"☆21Oct 13, 2020Updated 6 years ago
- Github for the NIPS 2020 paper "Learning outside the black-box: at the pursuit of interpretable models"☆14Sep 7, 2022Updated 4 years ago
- Tensorflow implementation for the Class-wise Selective Rationalization☆14Feb 15, 2023Updated 3 years ago
- Brief Python implementation of Most Permissive Boolean Networks☆20May 18, 2026Updated 5 months ago
- ☆38Jan 13, 2022Updated 4 years ago
- ☆10Aug 26, 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 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Jan 27, 2019Updated 7 years ago
- ☆18Jan 17, 2023Updated 3 years ago
- Code and supplementary material from the KDD 2016 paper "Skinny-dip: Clustering in a sea of noise" by Samuel Maurus and Claudia Plant.☆15Jun 6, 2016Updated 10 years ago
- A collection of implementations of fair ML algorithms☆12Jan 7, 2018Updated 8 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Aug 11, 2020Updated 6 years ago
- ☆13Dec 7, 2022Updated 3 years ago
- Codes for reproducing the contrastive explanation in “Explanations based on the Missing: Towards Contrastive Explanations with Pertinent…☆54Jul 4, 2018Updated 8 years ago
- This is the official implementation for the paper "Learning to Scaffold: Optimizing Model Explanations for Teaching"☆20May 19, 2022Updated 4 years ago
- ☆32May 24, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- plagiarism detector☆25Apr 12, 2021Updated 5 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆28Jul 13, 2026Updated 3 months ago
- Experimental studies of my paper "Sampling Techniques in Bayesian Target Encoding"☆12Dec 8, 2022Updated 3 years ago
- An evaluation toolbox for machine learning explanations☆17Jan 7, 2024Updated 2 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆25Jun 21, 2022Updated 4 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Official implementation for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds (NeurIPS, 2021).☆25Sep 4, 2022Updated 4 years ago
- An implementation of the Anthropic's paper and essay on "A statistical approach to model evaluations"☆16Oct 6, 2025Updated last year
- ☆13Sep 15, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Internet's Most Popular Tutorials on Fresh-off-the-shelf ML & Data Science Technologies, Authored by Yours Truly.☆19Apr 29, 2020Updated 6 years ago
- An implementation of IDS (Interpretable Decision Sets) algorithm.☆24Mar 13, 2021Updated 5 years ago
- Improving the Fairness of Chest X-ray Classifiers☆14Mar 24, 2022Updated 4 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆27Oct 10, 2020Updated 6 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago