TY - RPRT TI - Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching AU - Osbert Bastani PY - 2021 UR - https://arxiv.org/abs/2110.05390 ID - 2110.05390 ER -