tech-srl / lstar_extraction
implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
☆75Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for lstar_extraction
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Updated 4 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆40Updated 6 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 7 years ago
- Code for "CoaCor: Code Annotation for Code Retrieval with Reinforcement Learning" (WWW 2019)☆36Updated 4 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆82Updated 3 months ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆34Updated 6 years ago
- Baseline for the Conala: Code/Natural Language Challenge☆61Updated 3 years ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆40Updated 3 years ago
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 6 years ago
- ☆27Updated 2 years ago
- Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks☆18Updated 3 years ago
- NAACL 2018 Tutorial: Modelling Natural Language, Programs, and their Intersection☆102Updated 6 years ago
- [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…☆26Updated 2 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 2 years ago
- ☆47Updated 6 years ago
- Program Synthesis☆144Updated 3 years ago
- Tree Language Models☆9Updated 7 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- Re-implementation of "CODE2SEQ: GENERATING SEQUENCES FROM STRUCTURED REPRESENTATIONS OF CODE"☆44Updated 3 months ago
- Contains the code for our ICSE 2020 paper: Big Code != Big Vocabulary: Open-Vocabulary Language Models for Source Code and for its earlie…☆83Updated last year
- Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]☆50Updated 4 years ago
- Website for Learning from "Big Code"☆29Updated 3 years ago
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆32Updated 6 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆58Updated 3 years ago
- A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]☆33Updated 2 years ago
- Recent Advances in Programming Language Pre-Trained Models (PL-PTMs)☆57Updated 2 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- Code and data for ACL20 paper "Incorporating External Knowledge through Pre-training for Natural Language to Code Generation"☆96Updated last year