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
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆76Updated 5 years ago
• team-approx-bayes / kpriors
  Code for Knowledge-Adaptation Priors based on the NeurIPS 2021 paper by Khan and Swaroop.
  ☆16Updated 3 years ago
• hendrycks / jiminy-cricket
  Jiminy Cricket Environment (NeurIPS 2021)
  ☆24Updated 3 years ago
• larslorch / avici
  Amortized Inference for Causal Structure Learning, NeurIPS 2022
  ☆63Updated last week
• dmadras / predict-responsibly
  ☆14Updated 10 months ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆25Updated 4 years ago
• Jungyhuk / latent-execution
  ☆25Updated 3 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 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 6 months ago
• tristandeleu / jax-dag-gflownet
  Code for "Bayesian Structure Learning with Generative Flow Networks"
  ☆83Updated 2 years ago
• nke001 / causal_learning_unknown_interventions
  Code for "Neural causal learning from unknown interventions"
  ☆100Updated 4 years ago
• bethgelab / InDomainGeneralizationBenchmark
  ☆34Updated 3 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
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆59Updated 4 years ago
• anirudh9119 / neural_production_systems
  ☆15Updated 4 years ago
• trishullab / near
  ☆24Updated 4 years ago
• chenhongge / treeVerification
  [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…
  ☆26Updated 5 years ago
• phlippe / ENCO
  Official repository of the paper "Efficient Neural Causal Discovery without Acyclicity Constraints"
  ☆83Updated 10 months ago
• facebookresearch / BalancingGroups
  Simple data balancing baselines for worst-group-accuracy benchmarks.
  ☆41Updated last year
• Miffyli / nle-sample-factory-baseline
  ☆22Updated 2 years ago
• iancovert / removal-explanations
  A lightweight implementation of removal-based explanations for ML models.
  ☆58Updated 3 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆26Updated last year
• IDSIA / recurrent-fwp
  Official repository for the paper "Going Beyond Linear Transformers with Recurrent Fast Weight Programmers" (NeurIPS 2021)
  ☆48Updated last year
• team-approx-bayes / fromp
  Contains code for the NeurIPS 2020 paper by Pan et al., "Continual Deep Learning by FunctionalRegularisation of Memorable Past"
  ☆44Updated 4 years ago
• g-benton / loss-surface-simplexes
  ☆98Updated 3 years ago
• AnonymousNIPS2019 / DeepnetHessian
  The Full Spectrum of Deepnet Hessians at Scale: Dynamics with SGD Training and Sample Size
  ☆17Updated 5 years ago
• geyang / plan2vec
  Public Release of Plan2vec Implementation in pyTorch
  ☆56Updated 2 years ago
• ermongroup / HyperSPN
  PyTorch implementation for "HyperSPNs: Compact and Expressive Probabilistic Circuits", NeurIPS 2021
  ☆13Updated 3 years ago