LC-John / RNN2DFA
Extracting minimal DFA's from well-trained RNN's
☆11Updated 6 years ago
Alternatives and similar repositories for RNN2DFA:
Users that are interested in RNN2DFA are comparing it to the libraries listed below
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Updated 5 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆27Updated last year
- Amortized Inference for Causal Structure Learning, NeurIPS 2022☆63Updated last month
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated 8 months ago
- ☆24Updated 4 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 4 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- ☆18Updated 3 years ago
- ☆24Updated 2 years ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆21Updated 3 years ago
- Natural Environment Benchmarks for Reinforcement Learning☆21Updated 5 years ago
- Code repository of the paper "CITRIS: Causal Identifiability from Temporal Intervened Sequences" and "iCITRIS: Causal Representation Lear…☆51Updated last year
- Official data and code for our paper Systematic Evaluation of Causal Discovery in Visual Model Based Reinforcement Learning☆48Updated 3 years ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Updated 3 months ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆49Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- ☆25Updated 3 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- Code for "Bayesian Structure Learning with Generative Flow Networks"☆85Updated 3 years ago
- Repository for theory and methods for Out-of-Distribution (OoD) generalization☆63Updated 3 years ago
- A Python Library for Deep Probabilistic Modeling☆60Updated 5 months ago
- A collection of meta-learning algorithms in Jax☆22Updated 2 years ago
- ICLR'22 Programmatic Reinforcement Learning☆16Updated last year
- ☆44Updated last year
- Official repository for CMU Machine Learning Department's 10732: Robustness and Adaptivity in Shifting Environments☆73Updated 2 years ago
- Code for "Counterfactual Off-Policy Evaluation with Gumbel-Max Structural Causal Models" (ICML 2019)☆44Updated 4 years ago
- Retrieve information from DBLP and update BibTex files automatically☆55Updated 2 years ago
- ☆18Updated last year
- ☆18Updated this week