Sara Candussio

According to our database, Sara Candussio authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

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

Sara Candussio, Gabriele Sarti, Gaia Saveri, Luca Bortolussi

CoRR, March, 2026

A Dialectic Pipeline for Improving LLM Robustness.

Sara Candussio

CoRR, January, 2026

2025

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers.

Sara Candussio, Gaia Saveri, Gabriele Sarti, Luca Bortolussi

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2025