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
- ☆10Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch☆25Updated 5 years ago
- Models and code from Learning to Predict Denotational Probabilities For Modeling Entailment☆14Updated 8 years ago
- ☆21Updated 4 years ago
- ☆38Updated 4 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
- [ICLR 2019] Learning Representations of Sets through Optimized Permutations☆36Updated 6 years ago
- Program Synthesis☆146Updated 4 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 5 years ago
- Conditional Theorem Proving☆54Updated 4 years ago
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- NeurIPS 2019 Paper Implementation☆12Updated 3 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 4 years ago
- Computing the eigenvalues of Neural Tangent Kernel and Conjugate Kernel (aka NNGP kernel) over the boolean cube☆48Updated 6 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆18Updated 5 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Updated 4 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆55Updated last year
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆33Updated 2 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago
- Code publication to the paper "Normalized Attention Without Probability Cage"☆17Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Official repository for the paper "Going Beyond Linear Transformers with Recurrent Fast Weight Programmers" (NeurIPS 2021)☆51Updated 7 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Updated last year
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Updated 4 years ago
- Code for the 2-simplicial Transformer paper☆21Updated 6 years ago
- Neural Logic Inductive Learning☆44Updated 3 years ago
- Python implementation of paper "AntisymmetricRNN: A Dynamical System View on Recurrent Neural Networks"☆15Updated 6 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Updated 2 years ago