TY  - RPRT
TI  - Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
AU  - Sara Candussio
AU  - Gabriele Sarti
AU  - Gaia Saveri
AU  - Luca Bortolussi
PY  - 2026
UR  - https://arxiv.org/abs/2603.05198
ID  - 2603.05198
ER  -