@misc{indiciae8d3f6e81ad65,
  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 = {2021},
  url = {https://arxiv.org/abs/2007.12101},
  note = {Source identifier: 2007.12101}
}