Human-in-the-loop program synthesis for live coding.

Mark Santolucito

Published in: FARM@ICFP (2021)

Keyphrases

program synthesis
coding scheme
inductive logic programming
recursive programs
real time
database
metadata
query processing
wavelet transform
rate distortion
human subjects