Neural Circuit Synthesis from Specification Patterns

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]

Authors

Frederik Schmitt

This author has not been identified. Look up 'Frederik Schmitt' in Google

Christopher Hahn

This author has not been identified. Look up 'Christopher Hahn' in Google

Markus N. Rabe

This author has not been identified. Look up 'Markus N. Rabe' in Google

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google