Fast and Reliable Program Synthesis via User Interaction.
Yanju ChenChenglong WangXinyu WangOsbert BastaniYu FengPublished in: ASE (2023)
Keyphrases
- user interaction
- program synthesis
- user behavior
- user input
- user feedback
- user interface
- interactive image segmentation
- interactive segmentation
- inductive logic programming
- recursive programs
- learning algorithm
- user studies
- user experience
- domain knowledge
- reinforcement learning
- active learning
- keywords
- high level
- artificial intelligence