@inproceedings{programsynthesisguidedreinforcement,
  title = {Program Synthesis Guided Reinforcement Learning for Partially Observed Environments},
  author = {Yichen David Yang and Jeevana Priya Inala and Osbert Bastani and Yewen Pu and Armando Solar-Lezama and Martin Rinard},
  year = {2021},
  booktitle = {NeurIPS 2021 12},
  eprint = {2102.11137},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2102.11137v2},
}