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 paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated last year
- 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☆209Feb 9, 2026Updated last month
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- The Automata Learning Framework☆19May 20, 2020Updated 5 years ago
- Deep learning spelling patterns with a recurrent neural network☆12Jun 5, 2017Updated 8 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 2 years ago
- Automata and transducer library for .NET☆83Jul 21, 2020Updated 5 years ago
- Playing with arithmetic coding and RNNs☆22Nov 23, 2016Updated 9 years ago
- A collection of implementations of fair ML algorithms☆12Jan 7, 2018Updated 8 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 8 months ago
- A Tree-LSTM-based dependency tree sentiment labeler☆15May 9, 2019Updated 6 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
- An implementation of IDS (Interpretable Decision Sets) algorithm.☆24Mar 13, 2021Updated 5 years ago
- ☆41Sep 27, 2017Updated 8 years ago
- 🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。☆12May 31, 2021Updated 4 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 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
- ☆27Feb 1, 2023Updated 3 years ago
- A neuroevolution demonstration with p5☆19Apr 26, 2017Updated 8 years ago
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆25Jan 17, 2026Updated 2 months ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Apr 5, 2020Updated 5 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 8 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- ☆33Jan 13, 2022Updated 4 years ago
- Generate crappy products and reviews using Amazon's dataset☆17Jan 11, 2016Updated 10 years ago
- Neural machine translation implementation using dynet's python bindings☆17Jan 24, 2018Updated 8 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Simple projects that demonstrate kweb's capabilities 🦆☆13Aug 2, 2021Updated 4 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Feb 3, 2023Updated 3 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆26May 31, 2016Updated 9 years ago
- Code for the UCL Statistical NLP course☆11Jan 19, 2015Updated 11 years ago
- Code for ACL2018 paper "Learn How to Actively Learn: An Imitation Learning Approach"☆10Mar 8, 2019Updated 7 years ago
- 同济2022抗击疫情实录。☆35Apr 27, 2022Updated 3 years ago