Alternatives and similar repositories for dyna-R:

Users that are interested in dyna-R are comparing it to the libraries listed below

• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• CatherineWong / dreamcoder
  ☆59Updated 3 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago
• google-research / crossbeam
  ☆43Updated last year
• piantado / Fleet
  ☆61Updated 2 months ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 4 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• creswick / HaVSA
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Updated 7 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆62Updated 6 months ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆31Updated 4 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆21Updated 2 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago