collecting paper about viewing the LLMs reasoning traces as geometrical paths
Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated
a model
about 6 hours ago
saracandu/stlenc-new-temp0.2
updated
a dataset
about 14 hours ago
saracandu/stl_new
published
a model
3 days ago
saracandu/stlenc-new-temp0.2
Organizations
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