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:
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 9 months ago
- A scalable abstraction learning library☆83Updated 3 months ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Updated last year
- ☆42Updated 8 years ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- Einstein summation for Rust☆40Updated 4 years ago
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 7 months ago
- ☆44Updated 2 years ago
- Rust implementation of the Loopy Belief propagation algorithm for inference in Bayesian Networks☆34Updated 3 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Razor is a tool for constructing finite models for first-order theories☆55Updated 3 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 9 months ago
- Experimentation framework for Popper☆23Updated 5 months ago
- Autodifferentiation package in Rust.☆179Updated 7 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆24Updated this week
- Python package for Sentential Decision Diagrams (SDD)☆70Updated 2 weeks ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- Experimentation using the xla compiler from rust☆99Updated last year
- Generic Automatic Differentiation library for Rust (aka "autograd")☆38Updated 4 years ago
- Simulation of point processes in the Rust programming language☆46Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆175Updated 2 weeks ago
- An automated theorem prover for first order logic.☆30Updated 8 years ago
- ☆61Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 5 years ago
- Fast Numerical Integration☆24Updated 6 years ago