Alternatives and similar repositories for lstar_extraction:

Users that are interested in lstar_extraction are comparing it to the libraries listed below

• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 5 years ago
• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆36Updated 8 years ago
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆85Updated 5 months ago
• conala-corpus / conala-baseline
  Baseline for the Conala: Code/Natural Language Challenge
  ☆61Updated 3 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆33Updated 2 years ago
• LittleYUYU / CoaCor
  Code for "CoaCor: Code Annotation for Code Retrieval with Reinforcement Learning" (WWW 2019)
  ☆36Updated 4 years ago
• Eric-Wallace / adversarial-mt
  Code for "Imitation Attacks and Defenses for Black-box Machine Translations Systems"
  ☆36Updated 4 years ago
• Jungyhuk / Latent-Attention
  ☆45Updated 7 years ago
• mast-group / codemining-treelm
  Tree Language Models
  ☆9Updated 8 years ago
• src-d / code2vec
  MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)
  ☆40Updated 6 years ago
• Noahs-ARK / soft_patterns
  Text classification code described in "SoPa: Bridging CNNs, RNNs, and Weighted Finite-State Machines" by Roy Schwartz, Sam Thomson and No…
  ☆55Updated 2 years ago
• pmichel31415 / teapot-nlp
  Tool for Evaluating Adversarial Perturbations on Text
  ☆62Updated 2 years ago
• marcotcr / sears
  Code for "Semantically Equivalent Adversarial Rules for Debugging NLP Models"
  ☆86Updated 6 years ago
• carpedm20 / karel
  Karel dataset for program synthesis and program induction
  ☆78Updated 7 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆59Updated 4 years ago
• google-research-datasets / great
  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
• oval-group / PLNN-verification
  All code for the Piecewise Linear Neural Networks verification: A comparative study paper
  ☆35Updated 6 years ago
• sweetpeach / ReCode
  ☆28Updated 2 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆143Updated 3 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• max-andr / provably-robust-boosting
  Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]
  ☆50Updated 4 years ago
• marcotcr / anchor-experiments
  Experiments for AAAI anchor paper
  ☆62Updated 6 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆25Updated 4 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• todpole3 / accio-bib
  Read a list of paper titles and save their DBLP bibtex entries in a file.
  ☆11Updated 5 years ago
• rajasagashe / JuICe
  Code for generating the JuICe dataset.
  ☆37Updated 3 years ago
• neubig / naacl18tutorial
  NAACL 2018 Tutorial: Modelling Natural Language, Programs, and their Intersection
  ☆102Updated 6 years ago
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 2 years ago