A teacher-student framework that distills symbolic STL robustness kernels into a Transformer encoder via geometric kernel alignment.
Mar 5, 2026
A Transformer-based decoder that inverts semantic embeddings of Signal Temporal Logic formulae, enabling interpretable requirement mining.
Jul 10, 2025
An ongoing research project investigating over-refusal behaviour in LLMs — when models refuse legitimate queries — and how to measure and mitigate it.
Jan 1, 2025