implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
☆77Dec 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
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Oct 10, 2020Updated 5 years ago
- An Automata Learning Library Written in Python☆230Feb 9, 2026Updated 2 months ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- A Quick Research of Active Automata Learning☆34Mar 13, 2020Updated 6 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.
- The Automata Learning Framework☆19May 20, 2020Updated 5 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
- Playing with arithmetic coding and RNNs☆22Nov 23, 2016Updated 9 years ago
- Code for Unsupervised interpretation of instructional recipes☆10Jun 30, 2018Updated 7 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- A Tree-LSTM-based dependency tree sentiment labeler☆15May 9, 2019Updated 6 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆33Feb 10, 2022Updated 4 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 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.
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆80Mar 20, 2024Updated 2 years ago
- ☆41Sep 27, 2017Updated 8 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- ☆12Feb 9, 2024Updated 2 years ago
- ☆10Jan 21, 2022Updated 4 years ago
- Literate programming for any language. It's 🔥.☆17Jan 18, 2019Updated 7 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- A neuroevolution demonstration with p5☆19Apr 26, 2017Updated 9 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Apr 5, 2020Updated 6 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.
- Intrinsic Verification of Formal Grammar Theory☆28Updated this week
- ETH Robustness Analyzer for Deep Neural Networks☆345Jan 27, 2023Updated 3 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 7 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- Generate crappy products and reviews using Amazon's dataset☆17Jan 11, 2016Updated 10 years ago
- Re-implementation of "CODE2SEQ: GENERATING SEQUENCES FROM STRUCTURED REPRESENTATIONS OF CODE"☆45Jul 25, 2024Updated last year
- Neural machine translation implementation using dynet's python bindings☆17Jan 24, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- WebCL conformance tests☆20Feb 9, 2018Updated 8 years ago
- Parallel Sequitur Project☆14Dec 14, 2012Updated 13 years ago
- Implementation of different noise embeddings for noise aware training of Kaldi acoustic models.☆13Feb 13, 2021Updated 5 years ago
- ☆15Mar 17, 2021Updated 5 years ago
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆26May 31, 2016Updated 9 years ago
- Dongliang Mu de Blog☆10Apr 24, 2026Updated last week