Temporal Logic

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

Poster presentation at the RTG Symposium hosted at Dagstuhl, bringing together PhD researchers from Max Planck Institute and Saarland University.

Nov 24, 2025

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

We present a Transformer-based approach to decode STL embeddings, enabling interpretable and semantically accurate formula generation, with applications to requirement mining.

Jul 10, 2025