A new framework to generate interpretable classification rules
☆18Feb 11, 2023Updated 3 years ago
Alternatives and similar repositories for MLIC
Users that are interested in MLIC 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
- Position and velocity PID control of a DC motor using LabView and Arduino☆15Apr 23, 2018Updated 7 years ago
- The Earleyx parser was originated from Roger Levy's prefix parser, but has evolved significantly. Earleyx can generate Viterbi parses and…☆15Mar 27, 2014Updated 11 years ago
- Automatic and Interpretable Machine Learning with H2O and LIME☆11Feb 21, 2018Updated 8 years ago
- ☆11Nov 5, 2024Updated last year
- Practical ideas on securing machine learning models☆37May 27, 2021Updated 4 years ago
- Using Bayesian inference to mine rule sets☆12Jan 9, 2020Updated 6 years ago
- code for infocom 2021 paper MANDA☆11May 30, 2023Updated 2 years ago
- ☆13Dec 7, 2022Updated 3 years ago
- Code, data, and pretrained models for the paper "Generating Wikipedia Article Sections from Diverse Data Sources"☆20Feb 5, 2021Updated 5 years ago
- Text Classification Models - CNN, RCNN, RNN-ATTN [PyTorch]☆11Oct 13, 2020Updated 5 years ago
- ☆10Nov 24, 2018Updated 7 years ago
- Bitcoin library inspired by 'Programming Bitcoin' written in Rust☆16Jan 6, 2025Updated last year
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 6 months ago
- Pyspark Notebook With Docker☆11Aug 18, 2015Updated 10 years ago
- A new way to visualize correlations.☆15Jun 21, 2022Updated 3 years ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- Code for the paper "A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries"☆15Jul 3, 2021Updated 4 years ago
- Implementation of Lo and MacKinlay's statistical tests from A Non Random Walk Down Wall Street☆13Jan 8, 2026Updated 2 months ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- This project is an open-source project based on a GAN network anomaly detection.☆14Aug 4, 2024Updated last year
- Spark based implementation of the Topological Mapper algorithm☆15May 16, 2017Updated 8 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- BERT models for many languages created from Wikipedia texts☆33May 25, 2020Updated 5 years ago
- A catalog of Jupyter Notebooks presenting new techniques to interpret black box machine learning models.☆15Nov 14, 2018Updated 7 years ago
- ☆21Jan 24, 2022Updated 4 years ago
- Explains machine learning models fast using the Anchor algorithm originally proposed by marcotcr in 2018☆15Dec 19, 2025Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Replication package for the SANER 2023 paper titled "Extending Source Code Pre-Trained Language Models to Summarise Decompiled Binaries"☆17Jul 8, 2024Updated last year
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Oct 10, 2020Updated 5 years ago
- 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 4 months ago
- JavaScript library for getting geojson from the Wikipedia API☆22Sep 25, 2015Updated 10 years ago
- Data Scientist code test☆19Jul 2, 2020Updated 5 years ago
- Towards an Explainable Artificial Intelligence Framework for Enhancing Explainability in Network Intrusion Detection Systems☆21Nov 30, 2024Updated last year
- Jupyter server proxy for OpenRefine☆10Oct 18, 2024Updated last year
- Python library for validating and managing binary array linked data files, e.g. HDF, netCDF.☆12Oct 14, 2022Updated 3 years ago
- ☆15Mar 24, 2023Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago