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 "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Jan 8, 2020Updated 6 years ago
- 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
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆25Oct 10, 2020Updated 5 years ago
- Deep learning spelling patterns with a recurrent neural network☆11Jun 5, 2017Updated 9 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.
- State-Regularized Recurrent Neural Networks☆11Sep 20, 2019Updated 6 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 2 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- 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☆233Updated this week
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆33Feb 10, 2022Updated 4 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆82Mar 20, 2024Updated 2 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.
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- Code for Overinterpretation paper☆19Jul 6, 2023Updated 3 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
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆26Jun 3, 2026Updated last month
- 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
- deep learning for math☆30May 4, 2019Updated 7 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.
- Literate programming for any language. It's 🔥.☆17Jan 18, 2019Updated 7 years ago
- This repo contains a PyTorch implementation of a CNN model for multi-label Image classification model deployed on heroku.☆14Feb 28, 2021Updated 5 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Apr 5, 2020Updated 6 years ago
- Intrinsic Verification of Formal Grammar Theory☆28May 20, 2026Updated 2 months 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
- Do you even science, bro? Using RNN's to predict scientific titles.☆14Jun 5, 2017Updated 9 years ago
- Sparse Circuits on the GPU (ICLR2025)☆26Jun 18, 2026Updated last month
- 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.
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Generate crappy products and reviews using Amazon's dataset☆17Jan 11, 2016Updated 10 years ago
- Code for the paper "Symmetric Machine Theory of Mind", presented at ICML 2022.☆12Jul 18, 2022Updated 4 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆11Sep 11, 2024Updated last year
- Re-implementation of "CODE2SEQ: GENERATING SEQUENCES FROM STRUCTURED REPRESENTATIONS OF CODE"☆45Jul 25, 2024Updated last year
- ☆34Jan 13, 2022Updated 4 years ago
- ☆15Aug 5, 2020Updated 5 years ago