Kernel Methods

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

A teacher-student framework that distills symbolic STL kernels into Transformer encoders via geometric alignment, bridging formal logic and neural representations.

Mar 5, 2026

Distilling Formal Logic into Neural Spaces

A teacher-student framework that distills symbolic STL robustness kernels into a Transformer encoder via geometric kernel alignment.

Mar 5, 2026