lorepozo / program-inductionLinks
A library for program induction and learning representations.
☆30Updated last year
Alternatives and similar repositories for program-induction
Users that are interested in program-induction are comparing it to the libraries listed below
Sorting:
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 3 months ago
- ☆43Updated 7 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆11Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 3 months ago
- ☆21Updated last year
- A scalable abstraction learning library☆80Updated this week
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- ☆14Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- ☆25Updated last week
- ☆43Updated 2 years ago
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆38Updated 5 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Proof artifact co-training for Lean☆45Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated 10 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Automatic differentiation library written in Rust.☆8Updated 9 years ago
- ☆15Updated 6 years ago
- An implementation of the Tsetlin Machine in Rust☆16Updated 7 years ago
- Experimentation framework for Popper☆23Updated last year
- ☆18Updated 3 years ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 4 months ago
- Inference Combinators in JAX☆50Updated last month
- ☆13Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago