XReason - formal reasoning about explanations for ML models
☆18Sep 8, 2026Updated 2 months ago
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:
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- Implementation of gene-level rare coding variant association tests targeting allelic series: cases where increasingly deleterious mutatio…☆14Oct 22, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆25Aug 2, 2024Updated 2 years ago
- This repo contains a PyTorch implementation of a CNN model for multi-label Image classification model deployed on heroku.☆13Feb 28, 2021Updated 5 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- A fork of Yosys that integrates the CellIFT pass☆14Sep 12, 2026Updated last month
- VCF file compressor reaching over 30-fold efficiency on massive genotype datasets, with processing speeds up to 100 MB/s and peak memory …☆19Oct 5, 2026Updated last month
- Implementation of the first neural natural logic paper on natural language inference☆10Oct 31, 2022Updated 4 years ago
- Regular expression for form validations synthesizer☆16Apr 17, 2025Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆42Nov 20, 2023Updated 2 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Apr 12, 2023Updated 3 years ago
- Connecting Interpretability and Robustness in Decision Trees through Separation☆17May 8, 2021Updated 5 years ago
- Tensorflow implementation for the Class-wise Selective Rationalization☆14Feb 15, 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
- The Earleyx parser was originated from Roger Levy's prefix parser, but has evolved significantly. Earleyx can generate Viterbi parses and…☆16Mar 27, 2014Updated 12 years ago
- Unofficial github import of the svn repository at google code.☆10Dec 9, 2011Updated 14 years ago
- Brief Python implementation of Most Permissive Boolean Networks☆20May 18, 2026Updated 5 months 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
- ☆10Aug 26, 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.
- ☆39Jan 13, 2022Updated 4 years ago
- Dimensionality Reduction Algorithm for Exploratory Analyses☆12Jul 6, 2023Updated 3 years ago
- C++/C code for Line Segment Detector☆13Mar 11, 2015Updated 11 years ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated 4 months ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- ☆58Apr 7, 2021Updated 5 years ago
- [DAC2024] A Holistic Functionalization Approach to Optimizing Imperative Tensor Programs in Deep Learning☆15Jan 13, 2024Updated 2 years ago
- Adaptive resampling for machine learning in single-cell biology☆14Sep 30, 2026Updated last month
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 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.
- ☆20Aug 26, 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
- Code repository for Pietzner M, Wheeler E, et al. 2021 "Mapping the proteo-genomic convergence of human diseases"☆27Sep 2, 2021Updated 5 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Aug 11, 2020Updated 6 years ago
- A tool to extract tainted code graphs from C/C++ and Java source code.☆18Mar 7, 2025Updated last year
- Augmenting Statistical Models with Natural Language Parameters☆28Sep 17, 2024Updated 2 years ago
- Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assembly☆17Jun 7, 2021Updated 5 years ago