https://gaoithee.github.io/saracandussio.github.io/project/ProjectsHugo Blox Builder (https://hugoblox.com)en-usThu, 05 Mar 2026 00:00:00 +0000https://gaoithee.github.io/saracandussio.github.io/media/icon_hu7729264130191091259.pnghttps://gaoithee.github.io/saracandussio.github.io/project/https://gaoithee.github.io/saracandussio.github.io/project/stlenc/Thu, 05 Mar 2026 00:00:00 +0000https://gaoithee.github.io/saracandussio.github.io/project/stlenc/<p>Continuous neural representations of STL specifications via kernel distillation. Accepted at <strong>NeSy 2026</strong>.</p>https://gaoithee.github.io/saracandussio.github.io/project/stldec/Thu, 10 Jul 2025 00:00:00 +0000https://gaoithee.github.io/saracandussio.github.io/project/stldec/<p>Transformer-based decoder for inverting semantic embeddings of Signal Temporal Logic (STL) formulae. Published at <strong>ECML-PKDD 2025</strong>.</p>https://gaoithee.github.io/saracandussio.github.io/project/overref/Wed, 01 Jan 2025 00:00:00 +0000https://gaoithee.github.io/saracandussio.github.io/project/overref/<p>Ongoing project on <strong>over-refusal</strong> in LLMs: studying when and why models refuse legitimate user queries, with benchmarking and dataset resources.</p>