LC-John / RNN2DFA

Related projects ⓘ

Alternatives and complementary repositories for RNN2DFA

• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 4 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆26Updated 11 months ago
• larslorch / avici
  Amortized Inference for Causal Structure Learning, NeurIPS 2022
  ☆54Updated 8 months ago
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆75Updated 4 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• tristandeleu / jax-dag-gflownet
  Code for "Bayesian Structure Learning with Generative Flow Networks"
  ☆79Updated 2 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• anirudh9119 / neural_production_systems
  ☆15Updated 3 years ago
• google-research / jax-influence
  ☆59Updated 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
• trishullab / near
  ☆24Updated 3 years ago
• mperezortiz / PBB
  PAC-Bayes with Backprop - Tighter risk certificates for neural networks
  ☆24Updated 3 years ago
• automl / PFNs4BO
  The official implementation of PFNs4BO: In-Context Learning for Bayesian Optimization
  ☆22Updated 8 months ago
• google-deepmind / emergent_communication_at_scale
  ☆33Updated 3 months ago
• phlippe / ENCO
  Official repository of the paper "Efficient Neural Causal Discovery without Acyclicity Constraints"
  ☆80Updated 7 months ago
• google-deepmind / tell_me_why_explanations_rl
  ☆35Updated last year
• jcperdomo / performative-prediction
  ☆27Updated 2 years ago
• revbucket / geometric-certificates
  Geometric Certifications of Neural Nets
  ☆41Updated last year
• karlstratos / doe
  Difference-of-Entropies (DoE) Estimator
  ☆24Updated 2 years ago
• cambridge-mlg / EinsumNetworks
  ☆50Updated last year
• Miffyli / nle-sample-factory-baseline
  ☆21Updated 2 years ago
• ahjwang / messenger-emma
  Implements the Messenger environment and EMMA model.
  ☆23Updated last year
• izmailovpavel / bnn_covariate_shift
  Supporting code for the paper "Dangers of Bayesian Model Averaging under Covariate Shift"
  ☆33Updated 2 years ago
• rgklab / StructuredNNs
  Structured Neural Networks
  ☆13Updated 5 months 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…
  ☆82Updated 3 months ago
• MadryLab / modeldiff
  ModelDiff: A Framework for Comparing Learning Algorithms
  ☆53Updated last year
• aniruddhraghu / meta-pretraining
  Code accompanying paper: Meta-Learning to Improve Pre-Training
  ☆37Updated 3 years ago
• lgresele / independent-mechanism-analysis
  Code for the paper: "Independent mechanism analysis, a new concept?"
  ☆25Updated last year
• plai-group / gsdm
  Graphically structured diffusion model.
  ☆17Updated last year
• d-tiapkin / gflownet-rl
  Repository for "Generative Flow Networks as Entropy-Regularized RL" (AISTATS-2024, Oral)
  ☆24Updated 6 months ago