Google Research, Mountain View, California, USA; CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
Frederik Schmitt, Christopher Hahn, Markus Rabe, Bernd Finkbeiner
Transformer;Temporal Logic;Synthesis;Circuits
Neural Circuit Synthesis from Specification Patterns