Program Synthesis with Live Bidirectional Evaluation.

Justin Lubin Nick Collins Cyrus Omar Ravi Chugh

Published in: CoRR (2019)

Keyphrases

program synthesis
database
constraint satisfaction
real time
expert systems
pairwise
heuristic search
evaluation method