Alternatives and similar repositories for neuralMath

Users that are interested in neuralMath are comparing it to the libraries listed below

• ForoughA / recursiveMemNet
  Tree Stack Memory Units
  ☆17Updated 5 years ago
• harvardnlp / strux
  ☆18Updated 3 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• tommccoy1 / tpdn
  Tensor product decomposition network
  ☆19Updated 4 years ago
• ischlag / TPR-RNN
  Code for the publication Learning to Reason with Third-Order Tensor Products.
  ☆40Updated 6 years ago
• srush / jax-lda
  ☆30Updated 3 years ago
• Noahs-ARK / rational-recurrences
  Implementation for "Rational Recurrences", Peng et al., EMNLP 2018.
  ☆28Updated 3 years ago
• deep-spin / lp-sparsemap
  LP-SparseMAP: Differentiable sparse structured prediction in coarse factor graphs
  ☆41Updated last year
• timvieira / rl
  Reference implementation of algorithms for reinforcement learning and Markov decision processes.
  ☆12Updated 4 years ago
• willieneis / ProBO
  ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language
  ☆15Updated 5 years ago
• uclnlp / gntp
  ☆58Updated 5 years ago
• anirudh9119 / walkback_nips17
  Variational Walkback, NIPS'17
  ☆28Updated 7 years ago
• srush / learns-dex
  ☆33Updated 4 years ago
• ischlag / TP-Transformer
  ☆50Updated 4 years ago
• harvardnlp / hmm-lm
  ☆42Updated 4 years ago
• dmurfet / 2simplicialtransformer
  Code for the 2-simplicial Transformer paper
  ☆18Updated 5 years ago
• RemiLeblond / SeaRNN-open
  Open source implementation of SeaRNN (ICLR 2018, https://openreview.net/forum?id=HkUR_y-RZ)
  ☆48Updated 6 years ago
• cambridgeltl / parameter-factorization
  Factorization of the neural parameter space for zero-shot multi-lingual and multi-task transfer
  ☆39Updated 4 years ago
• facebookresearch / Permutation-Equivariant-Seq2Seq
  Humans understand novel sentences by composing meanings and roles of core language components. In contrast, neural network models for nat…
  ☆27Updated 5 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆89Updated 6 years ago
• matejbalog / gumbel-relatives
  Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick
  ☆17Updated 8 years ago
• ZhengyaoJiang / GradientInduction
  Framework of DataLog Neural Program Synthesis
  ☆26Updated 6 years ago
• timvieira / vocrf
  Variable-order CRFs with structure learning
  ☆16Updated 10 months ago
• PrincetonLIPS / randomized_telescopes
  Code for "Efficient optimization of loops and limits with randomized telescoping sums"
  ☆27Updated 6 years ago
• stanis-morozov / prodige
  A supplementary code for Beyond Vector Spaces: Compact Data Representation as Differentiable Weighted Graphs.
  ☆47Updated 5 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• yikangshen / Ordered-Memory
  This repository contains the code used for Ordered Memory paper
  ☆30Updated 5 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• facebookresearch / productive_concept_learning
  Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…
  ☆17Updated 3 years ago
• mblondel / projection-losses
  Python implementation of projection losses.
  ☆27Updated 5 years ago