TY - RPRT TI - Programming with Neural Surrogates of Programs AU - Alex Renda AU - Yi Ding AU - Michael Carbin PY - 2021 DO - 10.1145/3486607.3486748 UR - https://arxiv.org/abs/2112.06148 ID - 2112.06148 ER -