lorepozo / program-inductionLinks
A library for program induction and learning representations.
☆32Updated 2 years ago
Alternatives and similar repositories for program-induction
Users that are interested in program-induction are comparing it to the libraries listed below
Sorting:
- ☆44Updated 2 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 10 months ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- A scalable abstraction learning library☆84Updated 4 months ago
- ☆42Updated 8 years ago
- Experimentation framework for Popper☆24Updated 6 months ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆25Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 10 months ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Dual Number library for Rust☆17Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Updated 2 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Updated last year
- A Rust implementation of the CMA-ES optimization algorithm.☆36Updated 8 months ago
- ☆22Updated 3 weeks ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- Reverse-mode automatic differentiation in Rust (experiment)☆63Updated 5 years ago
- Experimentation using the xla compiler from rust☆102Updated last year
- Interactive neural theorem proving in Lean☆132Updated 3 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 5 months ago
- deep learning for math☆29Updated 6 years ago
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆177Updated last week
- ☆82Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Einstein summation for Rust☆40Updated 4 years ago