Program Synthesis Over Noisy Data with Guarantees | Read Paper on Bytez