Temporal logics are a well established formal speciļ¬cation paradigm to specify the behavior of systems, and serve as inputs to industrial-strength veriļ¬cation tools. We report on current advances in applying deep learning to temporal logical reasoning tasks, showing that models can even solve instances where competitive classical algorithms timed out.