LC-John / RNN2DFALinks
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
Sorting:
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Updated 5 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆23Updated 4 years ago
- ☆18Updated 3 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆27Updated last year
- ☆25Updated 3 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated 10 months ago
- Jiminy Cricket Environment (NeurIPS 2021)☆25Updated 3 years ago
- ☆24Updated 4 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Updated 5 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- The official repository for our paper "Are Neural Nets Modular? Inspecting Functional Modularity Through Differentiable Weight Masks". We…☆46Updated last year
- ☆22Updated 2 months ago
- [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…☆27Updated 5 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆26Updated 5 years ago
- ☆49Updated 4 years ago
- Code for Knowledge-Adaptation Priors based on the NeurIPS 2021 paper by Khan and Swaroop.☆16Updated 3 years ago
- Neural Logic Inductive Learning☆44Updated 2 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated 2 years ago
- Code for the paper "Reactive Exploration to Cope with Non-Stationarity in Lifelong Reinforcement Learning"☆14Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- An environment for benchmarking commonsense agents☆29Updated 4 years ago
- Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]☆50Updated 5 years ago
- Retrieve information from DBLP and update BibTex files automatically☆55Updated 3 years ago
- Pytorch implementation of the paper 'Compositional language emerge in a neural iterated learning' (ICLR 2020).☆15Updated 3 years ago
- Model Agnostic Meta Learning (MAML) implemented in Flax, the neural network library for JAX.☆19Updated 4 years ago
- A collection of meta-learning algorithms in Jax☆23Updated 2 years ago
- Code for "Bayesian Structure Learning with Generative Flow Networks"☆87Updated 3 years ago
- Benchmark for LP-relaxed robustness verification of ReLU-networks☆41Updated 6 years ago