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
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 last year
- Black-box extraction of Finite-State Machines from RNNs.☆22Apr 14, 2022Updated 3 years ago
- A Quick Research of Active Automata Learning☆32Mar 13, 2020Updated 5 years ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- A Tree-LSTM-based dependency tree sentiment labeler☆15May 9, 2019Updated 6 years ago
- Deep learning spelling patterns with a recurrent neural network☆12Jun 5, 2017Updated 8 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Code for Unsupervised interpretation of instructional recipes☆10Jun 30, 2018Updated 7 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- State-Regularized Recurrent Neural Networks☆11Sep 20, 2019Updated 6 years ago
- This is an extension of kaldi speech recognition software which allows to perform decoding of speech with hybrid word and phoneme graphs.…☆11Feb 4, 2020Updated 6 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Simple projects that demonstrate kweb's capabilities 🦆☆13Aug 2, 2021Updated 4 years ago
- Implementation of different noise embeddings for noise aware training of Kaldi acoustic models.☆13Feb 13, 2021Updated 5 years ago
- A collection of implementations of fair ML algorithms☆12Jan 7, 2018Updated 8 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 6 years ago
- ☆10Jan 21, 2022Updated 4 years ago
- Playing with arithmetic coding and RNNs☆22Nov 23, 2016Updated 9 years ago
- Text normalization scripts from IRISA lab☆14Jun 1, 2018Updated 7 years ago
- Exploring textual and social measures of distance between genres.☆16Feb 5, 2019Updated 7 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 2 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Oct 17, 2019Updated 6 years ago
- a simple, powerful scraping library☆18Jan 11, 2019Updated 7 years ago
- Literate programming for any language. It's 🔥.☆17Jan 18, 2019Updated 7 years ago
- Auto-Encoding Variational Neural Machine Translation☆16Jan 22, 2020Updated 6 years ago
- Java API for the online speech recognition services provided by phon.ioc.ee☆18Jun 4, 2021Updated 4 years ago
- This repository is for code to run examples and generate the figures from the lectures notes from the module Advanced Mathematical Biolog…☆10Nov 14, 2025Updated 3 months ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Oct 25, 2014Updated 11 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- ☆41Sep 27, 2017Updated 8 years ago
- Generate crappy products and reviews using Amazon's dataset☆17Jan 11, 2016Updated 10 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- Code for ICML 2020 paper: Do RNN and LSTM have Long Memory?☆17Jan 6, 2021Updated 5 years ago
- The Community-enRiched Open WordNet (CROWN)☆18Dec 3, 2015Updated 10 years ago
- Probabilistic Sequence Mining☆46Apr 25, 2018Updated 7 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- Download and create a tfreader for the audioset dataset☆16Apr 16, 2020Updated 5 years ago