@inproceedings{neuralcircuitsynthesisfromspecification,
  title = {Neural Circuit Synthesis from Specification Patterns},
  author = {Frederik Schmitt and Christopher Hahn and Markus N. Rabe and Bernd Finkbeiner},
  year = {2021},
  booktitle = {NeurIPS 2021 12},
  eprint = {2107.11864},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2107.11864v1},
}