@article{grammarfilteringforsyntaxguidedsynthesis,
  title = {Grammar Filtering For Syntax-Guided Synthesis},
  author = {Kairo Morton and William Hallahan and Elven Shum and Ruzica Piskac and Mark Santolucito},
  year = {2020},
  eprint = {2002.02884},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2002.02884v1},
}