Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
authored a paper 3 days ago
RogueAI: A Reverse Turing Test for Detecting Licensed AI Deception in Dialogue updated a dataset 6 days ago
saracandu/olmo-activations updated a model 22 days ago
saracandu/stldec_formulaeOrganizations
work-in-progress
A collection of reasoning tasks to benchmark model abilities
Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025
work-in-progress
collecting paper about viewing the LLMs reasoning traces as geometrical paths
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