Information-theoretic User Interaction: Significant Inputs for Program Synthesis.
Ashish TiwariArjun RadhakrishnaSumit GulwaniDaniel PerelmanPublished in: CoRR (2020)
Keyphrases
- user interaction
- information theoretic
- program synthesis
- information theory
- mutual information
- theoretic framework
- information bottleneck
- user feedback
- user interface
- jensen shannon divergence
- user input
- entropy measure
- minimum description length
- kullback leibler divergence
- log likelihood
- similarity measure
- information theoretic measures
- knowledge base
- recursive programs
- kl divergence
- inductive logic programming
- image registration
- semi supervised