Sara Candussio's picture

5 2

Sara Candussio

saracandu

·

AI & ML interests

Reasoning in Large Language Models

Recent Activity

authored a paper about 24 hours ago

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

authored a paper about 24 hours ago

A Dialectic Pipeline for Improving LLM Robustness

authored a paper about 24 hours ago

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

View all activity

Organizations

saracandu 's papers 4

arxiv:2606.13310

arxiv:2603.05198

arxiv:2601.20659

arxiv:2507.07808