Learning Differentiable Programs with Admissible Neural Heuristics - Shah, Ameesh; Zhan, Eric; Sun, Jennifer; Verma, Abhinav; Yue, Yisong; Chaudhuri, Swarat (Advances in Neural Information Processing Systems, 2020)