An inductive logic programming system
-
Updated
Dec 13, 2024 - Python
#
program-induction
Here are 14 public repositories matching this topic...
Metagol - an inductive logic programming system
-
Updated
Sep 13, 2021 - Prolog
CSGNet for voxel based input
-
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 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
A library for program induction and learning representations.
lambda-calculus genetic-programming bayesian-inference representation-learning program-induction pcfg
-
Updated
Dec 18, 2023 - Rust
Automatically Composing Representation Transformations as a Means for Generalization
-
Updated
Jun 3, 2019 - Python
Machine Learning functions inside Java objects
java learning machine-learning intelligence machine program-synthesis artificial objects program-induction
-
Updated
Jan 17, 2018
Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
-
Updated
May 7, 2019 - Rust
NRAM Implementation
-
Updated
May 8, 2019 - Jupyter Notebook
Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.
-
Updated
Jun 17, 2022 - Rust
Improve this page
Add a description, image, and links to the program-induction topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the program-induction topic, visit your repo's landing page and select "manage topics."