Learning programs from noisy data.

Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause

Browse the full POPL paper archive.