TY  - RPRT
TI  - Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
AU  - Sara Candussio
AU  - Gaia Saveri
AU  - Gabriele Sarti
AU  - Luca Bortolussi
PY  - 2025
DO  - 10.1007/978-3-032-06096-9_1
UR  - https://arxiv.org/abs/2507.07808
ID  - 2507.07808
ER  -