ForoughA / recursiveMemNetLinks
Tree Stack Memory Units
☆17Updated 5 years ago
Alternatives and similar repositories for recursiveMemNet
Users that are interested in recursiveMemNet are comparing it to the libraries listed below
Sorting:
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- Models and code from Learning to Predict Denotational Probabilities For Modeling Entailment☆14Updated 8 years ago
- ☆10Updated 4 years ago
- Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch☆25Updated 5 years ago
- NeurIPS 2019 Paper Implementation☆12Updated 3 years ago
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- ☆21Updated 4 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 5 years ago
- Code for the 2-simplicial Transformer paper☆21Updated 6 years ago
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Updated 4 years ago
- Conditional Theorem Proving☆54Updated 4 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆55Updated last year
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 4 years ago
- ☆49Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Updated 2 years ago
- ☆38Updated 4 years ago
- Variational Walkback, NIPS'17☆28Updated 8 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Updated 4 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- Humans understand novel sentences by composing meanings and roles of core language components. In contrast, neural network models for nat…☆27Updated 5 years ago
- Dataset and documentation for paper on explaining solutions to physical reasoning tasks (ESPRIT))☆21Updated 9 months ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 3 years ago
- Code for FormulaNet in NIPS 2017☆30Updated 7 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Updated 3 years ago
- Tutorial on the Convolutional Tsetlin Machine☆54Updated 5 years ago
- Logistic Circuits☆36Updated 6 years ago
- Tensor product decomposition network☆20Updated 4 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆134Updated 3 years ago
- Code for reversible recurrent neural networks☆40Updated 7 years ago
- Estimating Gradients for Discrete Random Variables by Sampling without Replacement☆40Updated 5 years ago