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
  ☆13Updated last year
• 51alg / TerpreT
  ☆43Updated 7 years ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 3 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 6 years ago
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 11 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 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
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• srush / learns-dex
  ☆33Updated 4 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• harvardnlp / strux
  ☆18Updated 3 years ago
• lio-wong / dreamcoder
  ☆65Updated 3 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• piantado / Fleet
  ☆61Updated this week
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆12Updated 4 months ago