LC-John / RNN2DFA

Related projects ⓘ

Alternatives and complementary repositories for RNN2DFA

• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆26Updated 11 months ago
• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 4 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆75Updated 4 years ago
• trishullab / near
  ☆24Updated 3 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆19Updated last year
• Jungyhuk / latent-execution
  ☆25Updated 3 years 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
• joshuacnf / paradox-learning2reason
  ☆33Updated 9 months ago
• gcucurull / maml_flax
  Model Agnostic Meta Learning (MAML) implemented in Flax, the neural network library for JAX.
  ☆19Updated 4 years ago
• aniruddhraghu / meta-pretraining
  Code accompanying paper: Meta-Learning to Improve Pre-Training
  ☆37Updated 3 years ago
• IBM / OoD
  Repository for theory and methods for Out-of-Distribution (OoD) generalization
  ☆63Updated 2 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
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆58Updated 3 years ago
• JindongJiang / GNM
  Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"
  ☆35Updated 8 months ago
• anirudh9119 / neural_production_systems
  ☆15Updated 3 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• larslorch / avici
  Amortized Inference for Causal Structure Learning, NeurIPS 2022
  ☆55Updated 8 months ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆45Updated last year
• 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…
  ☆83Updated 4 months ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated last year
• tristandeleu / jax-dag-gflownet
  Code for "Bayesian Structure Learning with Generative Flow Networks"
  ☆80Updated 2 years ago
• google-deepmind / affordances_option_models
  ☆22Updated 3 years ago
• Miffyli / nle-sample-factory-baseline
  ☆21Updated 2 years ago
• mariuslindegaard / Intermediate_Neural_Collapse
  (ICML 2023) Feature learning in deep classifiers through Intermediate Neural Collapse: Accompanying code
  ☆13Updated last year
• RuntianZ / doro
  Distributional and Outlier Robust Optimization (ICML 2021)
  ☆27Updated 3 years ago
• Lucasc-99 / PackNet-Continual-Learning
  The PackNet Continual Learning Method in Pytorch
  ☆14Updated 3 years ago
• sharpenb / Differentiable-DAG-Sampling
  Differentiable DAG Sampling (ICLR 2022)
  ☆36Updated 2 years ago
• choidami / sst
  ☆49Updated 4 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