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
  ☆12Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆65Updated 7 months ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• google-research / crossbeam
  ☆43Updated last year
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated last year
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆26Updated 3 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 4 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 2 weeks ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆77Updated last year
• CatherineWong / dreamcoder
  ☆62Updated 3 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago
• piantado / Fleet
  ☆61Updated 3 months ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆27Updated last year
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• google / formal-ml
  ☆25Updated 3 years ago
• UCSD-PL / proverbot9001
  ☆40Updated 2 months ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago