Alternatives and similar repositories for logical-induction

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

• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆175Updated 8 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆111Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆116Updated this week
• machine-intelligence / provability
  ☆39Updated 10 years ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆129Updated 3 years ago
• anoma / geb
  A Categorical View of Computation
  ☆33Updated this week
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated 11 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆121Updated 3 weeks ago
• madvorak / read-lean
  How to read Lean
  ☆19Updated 8 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 6 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆32Updated 2 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆144Updated last year
• formalabstracts / formalabstracts
  ☆166Updated 5 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated 3 weeks ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• piantado / Fleet
  ☆63Updated 5 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last month
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆193Updated last week
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 7 months ago
• ToposInstitute / poly
  ☆119Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago