@inproceedings{learningdifferentiableprogramswith,
  title = {Learning Differentiable Programs with Admissible Neural Heuristics},
  author = {Ameesh Shah and Eric Zhan and Jennifer J. Sun and Abhinav Verma and Yisong Yue and Swarat Chaudhuri},
  year = {2020},
  booktitle = {NeurIPS 2020 12},
  eprint = {2007.12101},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2007.12101v5},
}