Write, Execute, Assess: Program Synthesis with a REPL.

Kevin Ellis Maxwell I. Nye Yewen Pu Felix Sosa Josh Tenenbaum Armando Solar-Lezama

Published in: NeurIPS (2019)

Keyphrases

program synthesis
recursive programs
inductive logic programming
database