Adaptive restarts for stochastic synthesis.

Jason R. Koenig Oded Padon Alex Aiken

Published in: PLDI (2021)

Keyphrases

random walk
stochastic optimization
program synthesis
databases
learning algorithm
website
monte carlo
adaptive control
adaptive systems
data sets
genetic algorithm
search engine
computer vision
objective function
data structure
multiresolution