Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic

Sara Candussio, Gabriele Sarti, Gaia Saveri, Luca Bortolussi

Published: 2026, Last Modified: 26 May 2026CoRR 2026EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading