ForoughA / neuralMath
Combining Symbolic and Function Evaluation Expressions In Neural Programs
☆33Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for neuralMath
- Tree Stack Memory Units☆17Updated 4 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆39Updated 5 years ago
- ☆38Updated 3 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆58Updated 3 years ago
- ☆18Updated 2 years ago
- Learning with latent language☆50Updated 3 years ago
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 4 years ago
- ☆42Updated 3 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 3 years ago
- Compositional generalization through meta sequence-to-sequence learning☆83Updated 4 years ago
- Tensor product decomposition network☆18Updated 3 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆16Updated 3 years ago
- ☆43Updated last year
- Humans understand novel sentences by composing meanings and roles of core language components. In contrast, neural network models for nat…☆27Updated 4 years ago
- LP-SparseMAP: Differentiable sparse structured prediction in coarse factor graphs☆41Updated 11 months ago
- ☆49Updated 3 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆118Updated 2 years ago
- ☆30Updated 2 years ago
- ☆21Updated 3 years ago
- Models and code from Learning to Predict Denotational Probabilities For Modeling Entailment☆14Updated 6 years ago
- Factorization of the neural parameter space for zero-shot multi-lingual and multi-task transfer☆39Updated 4 years ago
- Finding Generalizable Evidence by Learning to Convince Q&A Models☆25Updated last year
- ☆57Updated 4 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 5 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆16Updated 7 years ago
- Code for the 2-simplicial Transformer paper☆18Updated 4 years ago
- ☆33Updated 3 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago