ForoughA / recursiveMemNet
Tree Stack Memory Units
☆17Updated 4 years ago
Related projects: ⓘ
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 4 years ago
- Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)☆14Updated 2 years ago
- Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch☆23Updated 3 years ago
- Humans understand novel sentences by composing meanings and roles of core language components. In contrast, neural network models for nat…☆27Updated 4 years ago
- Deep reinforcement learning for adaptation in evolutionary algorithms☆8Updated 5 years ago
- Models and code from Learning to Predict Denotational Probabilities For Modeling Entailment☆14Updated 6 years ago
- Implementation of the LOSSGRAD optimization algorithm☆15Updated 5 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 5 years ago
- Tensor product decomposition network☆18Updated 3 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆16Updated 3 years ago
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆14Updated 3 years ago
- Code for the 2-simplicial Transformer paper☆18Updated 4 years ago
- Neural Turing Machine☆13Updated 6 years ago
- Repository containing code for getting statistical guarantees on properties of BNNs☆13Updated 5 years ago
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆29Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 3 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆23Updated 4 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆10Updated 2 years ago
- ☆21Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆10Updated 3 years ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Optimization and Generalization Analysis of Transduction through Gradient Boosting and Application to Multi-scale Graph Neural Networks☆13Updated 4 years ago
- Variational Walkback, NIPS'17☆28Updated 6 years ago
- Recursive Bayesian Networks☆11Updated last week
- Variable-order CRFs with structure learning☆16Updated last month
- This repository contains the code used for Ordered Memory paper☆29Updated 4 years ago
- Official PyTorch code release for Implicit Gradient Transport, NeurIPS'19☆21Updated 5 years ago
- NeurIPS 2019 Paper Implementation☆12Updated last year
- hierarchical convolutional attention networks for text classification☆16Updated 5 years ago
- ☆24Updated 4 months ago