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
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆34Updated 6 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆83Updated 3 months ago
- Code for "Semantically Equivalent Adversarial Rules for Debugging NLP Models"☆86Updated 6 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 7 years ago
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 6 years ago
- ☆101Updated 4 years ago
- ☆27Updated 2 years ago
- ☆18Updated 3 years ago
- Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…☆30Updated 5 years ago
- Program Synthesis☆144Updated 3 years ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆40Updated 3 years ago
- Baseline for the Conala: Code/Natural Language Challenge☆61Updated 3 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 4 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated last year
- Interview questions for Computer Science faculty jobs☆36Updated 8 months ago
- Code for "CoaCor: Code Annotation for Code Retrieval with Reinforcement Learning" (WWW 2019)☆36Updated 4 years ago
- Code for "Imitation Attacks and Defenses for Black-box Machine Translations Systems"☆36Updated 4 years ago
- Tree Language Models☆9Updated 7 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆39Updated 5 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆58Updated 3 years ago
- demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"☆11Updated 5 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- Tool for Evaluating Adversarial Perturbations on Text☆62Updated 2 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆27Updated 4 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 2 years ago
- Karel dataset for program synthesis and program induction☆78Updated 6 years ago
- NAACL 2018 Tutorial: Modelling Natural Language, Programs, and their Intersection☆102Updated 6 years ago
- Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]☆50Updated 4 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago