Google Research, Mountain View, CA, USA; CISPA Helmholtz Center for Information Security, Saarbrücken, 66123 Saarland, Germany; Saarland University, Saarbrücken, 66123 Saarland, Germany
Christopher Hahn, Frederik Schmitt, Jens Kreber, Markus Rabe, Bernd Finkbeiner
Logic;Verification;Transformer
Teaching Temporal Logics to Neural Networks