Send email Copy Email Address
2021-09-05

Deep Learning for Temporal Logics

Summary

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

2021-09-05

Date last modified

2022-05-06 09:04:15