Publications

Authors:

  • sara-candussio

(2026). Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic. NeSy 2026.
PDF Code DOI arXiv page

Authors:

  • sara-candussio

(2026). A Dialectic Pipeline for Improving LLM Robustness. MSc Thesis.
PDF DOI arXiv page

Authors:

  • sara-candussio

(2025). Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers. ECML-PKDD.
PDF Cite DOI arXiv page