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
• 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 6 months ago
• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆35Updated 8 years ago
• oval-group / PLNN-verification
  All code for the Piecewise Linear Neural Networks verification: A comparative study paper
  ☆35Updated 6 years ago
• mast-group / codemining-treelm
  Tree Language Models
  ☆9Updated 8 years ago
• andrewliao11 / awesome-neural-programming
  A curated list of awesome neural programming resources
  ☆55Updated 6 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆25Updated 4 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆26Updated 6 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆59Updated 4 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
• matejbalog / gumbel-relatives
  Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick
  ☆17Updated 7 years ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated 11 months ago
• conala-corpus / conala-baseline
  Baseline for the Conala: Code/Natural Language Challenge
  ☆61Updated 3 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
• 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
• Hongyuy / sbrl
  repository for R library "sbrlmod"
  ☆25Updated 9 months ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated last year
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆33Updated 2 years ago
• marcotcr / sears
  Code for "Semantically Equivalent Adversarial Rules for Debugging NLP Models"
  ☆85Updated 6 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• Eric-Wallace / adversarial-mt
  Code for "Imitation Attacks and Defenses for Black-box Machine Translations Systems"
  ☆36Updated 4 years ago
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆13Updated 4 years ago
• LittleYUYU / CoaCor
  Code for "CoaCor: Code Annotation for Code Retrieval with Reinforcement Learning" (WWW 2019)
  ☆36Updated 4 years ago
• bdusell / nondeterministic-stack-rnn
  Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)
  ☆18Updated 11 months 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
• neulab / incremental_tree_edit
  Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)
  ☆41Updated 3 years ago
• TrustAI / Literature-on-DNN-Verification-and-Testing
  ☆47Updated 6 years ago
• guykatzz / ReluplexCav2017
  ☆101Updated 4 years ago
• ZhengyaoJiang / GradientInduction
  Framework of DataLog Neural Program Synthesis
  ☆26Updated 5 years ago
• lrank / Robust_and_Privacy_preserving_Text_Representations
  ☆18Updated 3 years ago