taucompling / mdlrnn
Minimum Description Length Recurrent Neural Networks
☆18Updated last year
Alternatives and similar repositories for mdlrnn:
Users that are interested in mdlrnn are comparing it to the libraries listed below
- Minimum Description Length Recurrent Neural Networks (MDLRNNs) in PyTorch☆21Updated last week
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated 11 months ago
- ☆26Updated last year
- ☆43Updated last year
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- Language of thought library for python 3☆48Updated last year
- ☆11Updated 5 years ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- ☆61Updated 3 months ago
- Silly twitter torch implementations.☆46Updated 2 years ago
- ☆33Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆23Updated last year
- ☆11Updated 2 months ago
- An environment for learning formal mathematical reasoning from scratch☆62Updated 6 months ago
- ☆27Updated 3 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆59Updated 4 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- A programming language for formal/informal computation.☆41Updated this week
- ☆30Updated 3 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆25Updated 4 years ago
- ☆14Updated last year
- Factor Graph Grammars in Python☆13Updated 3 months ago
- Materials for ConceptARC paper☆89Updated 4 months ago
- Python package for Sentential Decision Diagrams (SDD)☆55Updated 2 weeks ago
- Generic PyTorch implementation of einsum that supports different semirings☆47Updated 7 months ago
- ☆76Updated 3 years ago
- ☆33Updated 2 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 3 years ago
- Holographic Reduced Representations☆25Updated 4 months ago