Login / Signup

Accelerating search-based program synthesis using learned probabilistic models.

Woosuk LeeKihong HeoRajeev AlurMayur Naik
Published in: PLDI (2018)
Keyphrases
  • program synthesis
  • probabilistic model
  • search algorithm
  • search space
  • graphical models
  • generative model
  • inductive logic programming
  • databases
  • expectation maximization
  • user queries
  • conditional random fields