Metagol - an inductive logic programming system

program-synthesis inductive-logic-programming program-induction

• Updated Sep 13, 2021
• Prolog

CSGNet for voxel based input

computer-vision deep-learning generative-model 3d-graphics 3d-deep-learning program-induction

• Updated Jul 18, 2018
• Python

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.

search repl program-synthesis cad text-editing program-induction 3d-cad constructive-solid-geometry 2d-cad

• Updated May 21, 2020
• Python

A library for program induction and learning representations.

lambda-calculus genetic-programming bayesian-inference representation-learning program-induction pcfg

• Updated Dec 18, 2023
• Rust

☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.

relational-learning relational-dependency-network rdn relational-reasoning program-induction statistical-relational-learning starai statistical-relational-ai

• Updated Nov 12, 2022
• Python

Automatically Composing Representation Transformations as a Means for Generalization

reinforcement-learning deep-learning program-induction representation-transformations

• Updated Jun 3, 2019
• Python

Program Synthesis experiments

music-theory program-induction

• Updated Apr 1, 2023
• Python

Machine Learning functions inside Java objects

java learning machine-learning intelligence machine program-synthesis artificial objects program-induction

• Updated Jan 17, 2018

machine-learning research program-synthesis artificial-intelligence harvard hacktoberfest harvard-university computational-cognitive-science program-induction developmental-psychology research-lab

• Updated Feb 26, 2023
• TeX

Finding DSL for the data in the slowest way possible

program-induction

• Updated Aug 16, 2021
• Python

Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems

rust learning science simulation hindley-milner term-rewriting program-induction

• Updated May 7, 2019
• Rust

A measurement framework for distinguishing experience-induced behavioral and staged constructive reachability.

machine-learning program-synthesis continual-learning program-induction adaptive-systems capability-evaluation

• Updated Sep 1, 2026
• Python

Deterministic, zero-dependency program-synthesis harness where the engine grows its own operator vocabulary at runtime — every expansion is machine-certified (C1 inexpressibility + C2 reachability), hash-chained, and bit-identically replayable. Expeditions XVIII & XIX.

ai reproducible-research program-synthesis self-improvement evolutionary-algorithm program-induction symbolic-ai

• Updated Jul 15, 2026
• Python

Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.

rust learning lists science simulation hindley-milner term-rewriting program-induction

• Updated Apr 22, 2026
• Rust

Latent program induction with recurrent full-grid execution for ARC

pytorch program-induction test-time-training arc-agi

• Updated Sep 3, 2026
• Python

NRAM Implementation

deep-learning neural-network program-induction nram neural-random-access-machines program-learning

• Updated May 8, 2019
• Jupyter Notebook