Alternatives and similar repositories for RNN2DFA:

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

• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆25Updated 4 years ago
• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 5 years ago
• trishullab / near
  ☆24Updated 4 years ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated last year
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆76Updated 5 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆26Updated last year
• Jungyhuk / latent-execution
  ☆25Updated 3 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
• flxsosa / ProgramSearch
  A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…
  ☆36Updated 4 years ago
• tristandeleu / jax-dag-gflownet
  Code for "Bayesian Structure Learning with Generative Flow Networks"
  ☆82Updated 2 years ago
• gcucurull / maml_flax
  Model Agnostic Meta Learning (MAML) implemented in Flax, the neural network library for JAX.
  ☆19Updated 4 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• team-approx-bayes / kpriors
  Code for Knowledge-Adaptation Priors based on the NeurIPS 2021 paper by Khan and Swaroop.
  ☆16Updated 2 years ago
• tristandeleu / jax-meta-learning
  A collection of meta-learning algorithms in Jax
  ☆23Updated 2 years ago
• JeanKaddour / PAML
  Implementation of paper "Probabilistic Active Meta-Learning" (NeurIPS 2020).
  ☆20Updated 4 years ago
• huanzhang12 / RecurJac-and-CROWN
  Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…
  ☆26Updated 5 years ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• larslorch / avici
  Amortized Inference for Causal Structure Learning, NeurIPS 2022
  ☆61Updated 2 weeks ago
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆72Updated 2 years ago
• rfeinman / GNS-Modeling
  Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)
  ☆26Updated 3 years ago
• hendrycks / jiminy-cricket
  Jiminy Cricket Environment (NeurIPS 2021)
  ☆24Updated 2 years ago
• tonyduan / rs4a
  Randomized Smoothing of All Shapes and Sizes (ICML 2020).
  ☆52Updated 4 years ago
• IBM / OoD
  Repository for theory and methods for Out-of-Distribution (OoD) generalization
  ☆63Updated 2 years ago
• dido1998 / CausalMBRL
  Official data and code for our paper Systematic Evaluation of Causal Discovery in Visual Model Based Reinforcement Learning
  ☆48Updated 3 years ago
• StanfordASL / moca
  ☆31Updated 2 years ago
• eth-sri / deepg
  Certifying Geometric Robustness of Neural Networks
  ☆15Updated last year
• anirudh9119 / neural_production_systems
  ☆15Updated 3 years ago
• phlippe / CITRIS
  Code repository of the paper "CITRIS: Causal Identifiability from Temporal Intervened Sequences" and "iCITRIS: Causal Representation Lear…
  ☆49Updated last year
• Miffyli / nle-sample-factory-baseline
  ☆21Updated 2 years ago
• tomsilver / policies_logic_programs
  Few-shot Bayesian Imitation Learning with Policies as Logic over Programs
  ☆18Updated 2 years ago