work-in-progress
Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated
a collection
2 days ago
🔁 STLdec @ ECML-PKDD 2025 updated
a collection
2 days ago
⚗️ distilling kernel into transformers updated
a collection
2 days ago
⚗️ distilling kernel into transformers Organizations
🧠 reasoning datasets
A collection of reasoning tasks to benchmark model abilities
🔁 STLdec @ ECML-PKDD 2025
Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025
⚗️ distilling kernel into transformers
work-in-progress
⛳️ geometry of reasoning
collecting paper about viewing the LLMs reasoning traces as geometrical paths
🧠 reasoning datasets
A collection of reasoning tasks to benchmark model abilities
🔄 STLdec - XAI
Ongoing work on decoding STL formulae
🔁 STLdec @ ECML-PKDD 2025
Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025