Alternatives and similar repositories for RNN2DFA:

Users that are interested in RNN2DFA 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
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆23Updated 4 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆30Updated 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…
  ☆86Updated 9 months ago
• lfochamon / csl
  csl: PyTorch-based Constrained Learning
  ☆12Updated 2 years ago
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆77Updated 5 years ago
• hendrycks / jiminy-cricket
  Jiminy Cricket Environment (NeurIPS 2021)
  ☆25Updated 3 years ago
• Miffyli / nle-sample-factory-baseline
  ☆22Updated last month
• gcucurull / maml_flax
  Model Agnostic Meta Learning (MAML) implemented in Flax, the neural network library for JAX.
  ☆19Updated 4 years ago
• alexeyignatiev / xreason
  XReason - formal reasoning about explanations for ML models
  ☆16Updated last year
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆27Updated last year
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• automl / zero-shot-automl-with-pretrained-models
  Official repository for the paper "Zero-Shot AutoML with Pretrained Models"
  ☆47Updated last year
• larslorch / avici
  Amortized Inference for Causal Structure Learning, NeurIPS 2022
  ☆62Updated 3 months ago
• anirudh9119 / neural_production_systems
  ☆15Updated 4 years ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated 2 years ago
• kailas-v / human-ai-interactions
  ☆12Updated 2 years ago
• tinkoff-ai / cnf
  Official implementation for "Let Offline RL Flow: Training Conservative Agents in the Latent Space of Normalizing Flows", NeurIPS 2022, O…
  ☆12Updated 2 years ago
• JindongJiang / GNM
  Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"
  ☆35Updated last year
• tristandeleu / jax-meta-learning
  A collection of meta-learning algorithms in Jax
  ☆23Updated 2 years ago
• MadryLab / modeldiff
  ModelDiff: A Framework for Comparing Learning Algorithms
  ☆56Updated last year
• pylon-lib / pylon
  ☆122Updated last year
• google-research / jax-influence
  ☆60Updated 3 years ago
• ahjwang / messenger-emma
  Implements the Messenger environment and EMMA model.
  ☆23Updated last year
• RobertCsordas / onion_representations
  ☆11Updated 8 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…
  ☆38Updated 4 years ago
• joshuacnf / paradox-learning2reason
  ☆34Updated 4 months ago