Alternatives and similar repositories for logical-induction

Users that are interested in logical-induction are comparing it to the libraries listed below

• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• barakeel / oeis-synthesis
  ☆23Updated last month
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• machine-intelligence / provability
  ☆36Updated 9 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆104Updated 7 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated 2 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated last year
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆28Updated 2 months ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆44Updated 3 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆74Updated this week
• piantado / Fleet
  ☆61Updated last week
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• lio-wong / dreamcoder
  ☆65Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆115Updated 6 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• UCSD-PL / proverbot9001
  ☆42Updated 3 months ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 months ago
• abdoo8080 / lean-cvc5
  A Foreign Function Interface (FFI) to cvc5 solver in Lean.
  ☆15Updated last week
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆165Updated 3 months ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 7 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆44Updated 2 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆25Updated 2 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated this week