GitHub topics: program-induction
metagol/metagol 📦
Metagol - an inductive logic programming system
Language: Prolog - Size: 213 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 201 - Forks: 27
lorepozo/program-induction
A library for program induction and learning representations.
Language: Rust - Size: 800 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 7
srlearn/srlearn
☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
Language: Python - Size: 10.7 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 31 - Forks: 15
maxreciprocate/revel
Program Synthesis experiments
Language: Python - Size: 469 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
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.
Language: Python - Size: 581 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 31 - Forks: 6
ThousandMonkeysTypewriter/Deployer
Machine Learning functions inside Java objects
Size: 214 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0
Hippogriff/3DCSGNet
CSGNet for voxel based input
Language: Python - Size: 213 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 37 - Forks: 17
mbchang/crl
Automatically Composing Representation Transformations as a Means for Generalization
Language: Python - Size: 1.01 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 21 - Forks: 5
joshrule/formal-systems-learning-rs
Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
Language: Rust - Size: 30.3 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0
maxreciprocate/dumbcoder
Finding DSL for the data in the slowest way possible
Language: Python - Size: 26.4 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
cocodev-harvard/cocodev.org
Language: TeX - Size: 101 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 10
joshrule/list-routine-learning-rs
Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.
Language: Rust - Size: 7.31 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
tysonthomas9/NPL_Project
NRAM Implementation
Language: Jupyter Notebook - Size: 996 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
