monasticacademy / logical-induction
Code to support the guide to logical induction for software engineers
☆11Updated last week
Alternatives and similar repositories for logical-induction:
Users that are interested in logical-induction are comparing it to the libraries listed below
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- ☆9Updated 5 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- An environment for learning formal mathematical reasoning from scratch☆65Updated 7 months ago
- Humans consulting HCH☆10Updated 7 years ago
- ☆13Updated 3 years ago
- Formalizing stochastic doubly-efficient debate☆100Updated 5 months ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated 2 weeks ago
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- An interactive theorem prover for string diagrams☆112Updated 5 months ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- A math language for dimensional analysis☆22Updated last year
- ☆35Updated 9 years ago
- A Categorical View of Computation☆30Updated 5 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- ☆21Updated last year
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆130Updated last year
- Python tools for working with Manifold Markets☆34Updated 5 months ago
- Research into rewrite-rule completion in miniKanren☆9Updated 5 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆68Updated this week
- ☆23Updated 2 years ago
- ☆27Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Python talking to the Lean theorem prover☆42Updated 3 years ago
- Interactive neural theorem proving in Lean☆118Updated 3 years ago