ForoughA / neuralMath
Combining Symbolic and Function Evaluation Expressions In Neural Programs
☆33Updated 5 years ago
Alternatives and similar repositories for neuralMath:
Users that are interested in neuralMath are comparing it to the libraries listed below
- Tree Stack Memory Units☆17Updated 4 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆39Updated 6 years ago
- ☆18Updated 3 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆59Updated 4 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
- ☆21Updated 3 years ago
- Code for the 2-simplicial Transformer paper☆18Updated 5 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 5 years ago
- ☆38Updated 4 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 4 years ago
- ☆25Updated 6 years ago
- ☆57Updated 5 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- 🔤 👀 Seeing Language Through Character Level Taggers, BlackboxNLP 2019☆14Updated 2 years ago
- Tensor product decomposition network☆19Updated 4 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 6 years ago
- ☆43Updated last year
- End-to-End Differentiable Proving☆88Updated 6 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 7 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- LP-SparseMAP: Differentiable sparse structured prediction in coarse factor graphs☆41Updated last year
- Models and code from Learning to Predict Denotational Probabilities For Modeling Entailment☆14Updated 7 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 3 years ago
- Compositional generalization through meta sequence-to-sequence learning☆83Updated 5 years ago
- ☆12Updated 6 years ago
- ☆30Updated 3 years ago
- Finding Generalizable Evidence by Learning to Convince Q&A Models☆25Updated 2 years ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- ☆12Updated 3 years ago
- ☆15Updated 6 years ago