Alternatives and similar repositories for lstar_extraction

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

• conala-corpus / conala-baseline
  Baseline for the Conala: Code/Natural Language Challenge
  ☆61Updated 3 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• Eric-Wallace / adversarial-mt
  Code for "Imitation Attacks and Defenses for Black-box Machine Translations Systems"
  ☆35Updated 5 years ago
• marcotcr / sears
  Code for "Semantically Equivalent Adversarial Rules for Debugging NLP Models"
  ☆87Updated 6 years ago
• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 5 years ago
• andrewliao11 / awesome-neural-programming
  A curated list of awesome neural programming resources
  ☆55Updated 7 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 last year
• neubig / naacl18tutorial
  NAACL 2018 Tutorial: Modelling Natural Language, Programs, and their Intersection
  ☆101Updated 7 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• google-deepmind / logical-entailment-dataset
  This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…
  ☆70Updated 7 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 3 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆35Updated 5 years ago
• sweetpeach / ReCode
  ☆28Updated 3 years ago
• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆35Updated 8 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆90Updated 6 years ago
• pmichel31415 / teapot-nlp
  Tool for Evaluating Adversarial Perturbations on Text
  ☆61Updated 3 years ago
• jeknov / EMNLP_17_submission
  The dataset and statistical analysis code released with the submission of EMNLP 2017 paper "Why We Need New Evaluation Metrics for NLG"
  ☆19Updated 3 years ago
• timvieira / rl
  Reference implementation of algorithms for reinforcement learning and Markov decision processes.
  ☆12Updated 4 years ago
• lrank / Robust_and_Privacy_preserving_Text_Representations
  ☆18Updated 4 years ago
• todpole3 / accio-bib
  Read a list of paper titles and save their DBLP bibtex entries in a file.
  ☆10Updated 5 years ago
• ischlag / TPR-RNN
  Code for the publication Learning to Reason with Third-Order Tensor Products.
  ☆41Updated 6 years ago
• carpedm20 / karel
  Karel dataset for program synthesis and program induction
  ☆79Updated 7 years ago
• timvieira / learning-to-prune
  Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing
  ☆22Updated 10 months ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• roeeaharoni / string-to-tree-nmt
  Source code and data for the paper "Towards String-to-Tree Neural Machine Translation"
  ☆16Updated 7 years ago
• uclnlp / adversarial-nli
  Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."
  ☆25Updated 6 years ago
• MostafaDehghani / bAbI-T2T
  The bAbI question-answering dataset ported into T2T.
  ☆32Updated 6 years ago
• percyliang / refdb
  Stores paper references, outputs to bib/html, does basic sanity checking on bib entries
  ☆40Updated last month
• harvardnlp / hmm-lm
  ☆41Updated 4 years ago