Send email Copy Email Address

Deep Learning for Temporal Logics


Temporal logics are a well established formal specification paradigm to specify the behavior of systems, and serve as inputs to industrial-strength verification 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.

Date published


Date last modified

2022-05-06 09:04:15