taucompling / mdlrnnLinks
Minimum Description Length Recurrent Neural Networks
☆18Updated 2 years ago
Alternatives and similar repositories for mdlrnn
Users that are interested in mdlrnn are comparing it to the libraries listed below
Sorting:
- ☆43Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- ☆11Updated 5 years ago
- Factor Graph Grammars in Python☆13Updated 8 months ago
- Silly twitter torch implementations.☆46Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆21Updated 2 years ago
- ☆14Updated last year
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated last year
- Language of thought library for python 3☆50Updated last year
- ☆80Updated 4 years ago
- Language-annotated Abstraction and Reasoning Corpus☆91Updated 2 years ago
- An interactive tool for analyzing, executing, and improving dynamic programming algorithms.☆13Updated last year
- ☆33Updated 4 years ago
- ☆38Updated 4 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- ☆30Updated 3 years ago
- Neural Networks and the Chomsky Hierarchy☆208Updated last year
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- ☆41Updated 4 years ago
- ☆108Updated 2 years ago
- Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch☆25Updated 4 years ago
- Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)☆128Updated 2 months ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆35Updated 5 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆13Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Abstraction and Reasoning Corpus☆14Updated 2 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆30Updated last year
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Updated 4 years ago