Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner. Neural Circuit Synthesis from Specification Patterns. In Marc'Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, Jennifer Wortman Vaughan, editors, Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual. pages 15408-15420, 2021. [doi]
@inproceedings{SchmittHRF21,
title = {Neural Circuit Synthesis from Specification Patterns},
author = {Frederik Schmitt and Christopher Hahn and Markus N. Rabe and Bernd Finkbeiner},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/8230bea7d54bcdf99cdfe85cb07313d5-Abstract.html},
researchr = {https://researchr.org/publication/SchmittHRF21},
cites = {0},
citedby = {0},
pages = {15408-15420},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual},
editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan},
}