Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated a collection about 17 hours ago
papers updated a collection about 17 hours ago
papers updated a collection about 17 hours ago
papersOrganizations
collecting paper about viewing the LLMs reasoning traces as geometrical paths
work-in-progress
-
saracandu/stl_updated
Viewer • Updated • 3.31M • 13 -
saracandu/stlenc-arch-v2
Feature Extraction • 0.2B • Updated • 23 -
saracandu/stlenc-arch-cls
Feature Extraction • 0.2B • Updated • 8 -
Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
Paper • 2603.05198 • Published
Ongoing work on decoding STL formulae
master's thesis materials
collecting paper about viewing the LLMs reasoning traces as geometrical paths
work-in-progress
-
saracandu/stl_updated
Viewer • Updated • 3.31M • 13 -
saracandu/stlenc-arch-v2
Feature Extraction • 0.2B • Updated • 23 -
saracandu/stlenc-arch-cls
Feature Extraction • 0.2B • Updated • 8 -
Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
Paper • 2603.05198 • Published
A collection of reasoning tasks to benchmark model abilities
Ongoing work on decoding STL formulae
Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025
master's thesis materials