implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
☆78Dec 3, 2019Updated 6 years ago
Alternatives and similar repositories for lstar_extraction
Users that are interested in lstar_extraction are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated 2 years ago
- Extracting minimal DFA's from well-trained RNN's☆11Nov 26, 2018Updated 7 years ago
- demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"☆11May 26, 2019Updated 7 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆25Oct 10, 2020Updated 5 years ago
- An Automata Learning Library Written in Python☆242Aug 20, 2026Updated last week
- 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.
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- A Quick Research of Active Automata Learning☆38Mar 13, 2020Updated 6 years ago
- The Automata Learning Framework☆19May 20, 2020Updated 6 years ago
- State-Regularized Recurrent Neural Networks☆11Sep 20, 2019Updated 6 years ago
- Code and data for the experiments in "On Fairness and Calibration"☆50Apr 22, 2022Updated 4 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- Automata and transducer library for .NET☆83Jul 21, 2020Updated 6 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- a simple, powerful scraping library☆18Jan 11, 2019Updated 7 years ago
- 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.
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆33Oct 25, 2014Updated 11 years ago
- Code for Unsupervised interpretation of instructional recipes☆10Jun 30, 2018Updated 8 years ago
- A free, open-source Java library for automata learning algorithms☆235Aug 16, 2026Updated 2 weeks ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- This is an Object Oriented implementation of a Trie in python. The class contains setter and getter methods, and implements several usefu…☆15Jan 9, 2018Updated 8 years ago
- ☆41Sep 27, 2017Updated 8 years ago
- An implementation of IDS (Interpretable Decision Sets) algorithm.☆24Mar 13, 2021Updated 5 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas☆10Mar 25, 2023Updated 3 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.
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆26Jun 3, 2026Updated 2 months ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆30Mar 21, 2023Updated 3 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- Data and Code for StructuredRegex.☆14Nov 16, 2023Updated 2 years ago
- ☆27Feb 1, 2023Updated 3 years ago
- deep learning for math☆30May 4, 2019Updated 7 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
- A neuroevolution demonstration with p5☆19Apr 26, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Apr 5, 2020Updated 6 years ago
- Intrinsic Verification of Formal Grammar Theory☆28Aug 4, 2026Updated 3 weeks ago
- ☆24Dec 8, 2022Updated 3 years ago
- This is a API to use the Algorithmic Transparency method - Quantitative Input Influence (QII).☆11Feb 18, 2019Updated 7 years ago
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆347Jan 27, 2023Updated 3 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆20Mar 21, 2024Updated 2 years ago