Alternatives and similar repositories for lstar_extraction:

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

• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆35Updated 8 years ago
• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 5 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…
  ☆86Updated 8 months ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• oval-group / PLNN-verification
  All code for the Piecewise Linear Neural Networks verification: A comparative study paper
  ☆35Updated 6 years ago
• LittleYUYU / CoaCor
  Code for "CoaCor: Code Annotation for Code Retrieval with Reinforcement Learning" (WWW 2019)
  ☆36Updated 4 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• src-d / code2vec
  MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)
  ☆39Updated 6 years ago
• tech-srl / counting_dimensions
  demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"
  ☆11Updated 5 years ago
• mast-group / codemining-treelm
  Tree Language Models
  ☆9Updated 8 years ago
• conala-corpus / conala-baseline
  Baseline for the Conala: Code/Natural Language Challenge
  ☆60Updated 3 years ago
• marcotcr / sears
  Code for "Semantically Equivalent Adversarial Rules for Debugging NLP Models"
  ☆85Updated 6 years ago
• neubig / naacl18tutorial
  NAACL 2018 Tutorial: Modelling Natural Language, Programs, and their Intersection
  ☆101Updated 6 years ago
• guykatzz / ReluplexCav2017
  ☆101Updated 4 years ago
• Jungyhuk / Latent-Attention
  ☆44Updated 8 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…
  ☆54Updated 2 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆59Updated 4 years ago
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆34Updated 2 years ago
• marcotcr / anchor-experiments
  Experiments for AAAI anchor paper
  ☆62Updated 7 years ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆28Updated 4 years ago
• neulab / incremental_tree_edit
  Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)
  ☆41Updated 3 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 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
• sweetpeach / ReCode
  ☆28Updated 2 years ago
• percyliang / refdb
  Stores paper references, outputs to bib/html, does basic sanity checking on bib entries
  ☆39Updated 3 weeks ago
• Hongyuy / sbrl
  repository for R library "sbrlmod"
  ☆25Updated 10 months ago
• carpedm20 / karel
  Karel dataset for program synthesis and program induction
  ☆80Updated 7 years ago
• timvieira / learning-to-prune
  Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing
  ☆22Updated 6 months ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated 2 years ago