Question selection for interactive program synthesis.

Ruyi Ji Jingjing Liang Yingfei Xiong Lu Zhang Zhenjiang Hu

Published in: PLDI (2020)

Keyphrases

program synthesis
inductive logic programming
recursive programs
databases
virtual reality
data mining
decision trees
reinforcement learning
software engineering