program-induction
There are 14 repositories under program-induction topic.
logic-and-learning-lab/Popper
An inductive logic programming system
metagol/metagol
Metagol - an inductive logic programming system
Hippogriff/3DCSGNet
CSGNet for voxel based input
flxsosa/ProgramSearch
A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama. Presented at NeurIPS 2019.
srlearn/srlearn
☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
lorepozo/program-induction
A library for program induction and learning representations.
mbchang/crl
Automatically Composing Representation Transformations as a Means for Generalization
maxreciprocate/revel
Program Synthesis experiments
ThousandMonkeysTypewriter/Deployer
Machine Learning functions inside Java objects
joshrule/formal-systems-learning-rs
Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
maxreciprocate/dumbcoder
Finding DSL for the data in the slowest way possible
joshrule/list-routine-learning-rs
Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.
tysonthomas9/NPL_Project
NRAM Implementation