paper-with-me

Papers

Playgol: learning programs through play

2019-04-18 · Andrew Cropper

Children learn though play. We introduce the analogous idea of learning programs through play. In this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge. Before solving the tasks, the learner enters an unsupervised playing stage where it creates its own tasks to solve, tries to solve them, and saves any solutions (programs) to the background knowledge. After the playing stage is finished, the learner enters the supervised building stage where it tries to solve the user-supplied tasks and can reuse solutions learnt whilst playing. The idea is that playing allows the learner to discover reusable general programs on its own which can then help solve the user-supplied tasks. We claim that playing can improve learning performance. We show that playing can reduce the textual complexity of target concepts which in turn reduces the sample complexity of a learner. We implement our idea in Playgol, a new inductive logic programming system. We experimentally test our claim on two domains: robot planning and real-world string transformations. Our experimental results suggest that playing can substantially improve learning performance. We think that the idea of playing (or, more verbosely, unsupervised bootstrapping for supervised program induction) is an important contribution to the problem of developing program induction approaches that self-discover BK.

📄 PDF Abstract BibTeX arXiv:1904.08993

Code (1)

metagol/metagol 공식 구현

Tasks

Inductive logic programmingProgram induction

Similar Papers 제목 키워드 기반

Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery

2026-07-01 · Yuan Si, Jialu Zhang arxiv

Programming-by-example systems infer programs from a small set of input-output examples. Robust PBE work usually models wrong examples as samples from a stochastic noise process and then minimizes an expected or empirica…

Adversarial Robustness

Program Synthesis via Test-Time Transduction

2025-09-22 · Kang-il Lee, Jahyun Koo, Seunghyun Yoon, Minbeom Kim 외 arxiv

We introduce transductive program synthesis, a new formulation of the program synthesis task that explicitly leverages test inputs during synthesis. While prior approaches to program synthesis--whether based on natural l…

Program SynthesisActive Learning

Goals as Reward-Producing Programs

2024-05-21 · Guy Davidson, Graham Todd, Julian Togelius, Todd M. Gureckis 외

People are remarkably capable of generating their own goals, beginning with child's play and continuing into adulthood. Despite considerable empirical and computational work on goals and goal-oriented behavior, models ar…

DiversityProgram Synthesis

Neurocoder: Learning General-Purpose Computation Using Stored Neural Programs

2020-09-24 · NeurIPS 2021 12 · Hung Le, Svetha Venkatesh

Artificial Neural Networks are uniquely adroit at machine learning by processing data through a network of artificial neurons. The inter-neuronal connection weights represent the learnt Neural Program that instructs the …

Continual LearningObject Recognition

Characterising Simulation-Based Program Equilibria

2024-12-19 · Emery Cooper, Caspar Oesterheld, Vincent Conitzer

In Tennenholtz's program equilibrium, players of a game submit programs to play on their behalf. Each program receives the other programs' source code and outputs an action. This can model interactions involving AI agent…