Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
authored a paper about 8 hours ago
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers authored a paper about 8 hours ago
A Dialectic Pipeline for Improving LLM Robustness authored a paper about 8 hours ago
Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal LogicOrganizations
models 28
saracandu/stldec_formulae
Image Feature Extraction • Updated • 1.33k
saracandu/stldec_updated
Updated • 357
saracandu/stldec_arch
Image Feature Extraction • Updated • 122
saracandu/stlenc-arch-cls
Image Feature Extraction • 0.2B • Updated • 102
saracandu/stlenc-arch-v2
Image Feature Extraction • 0.2B • Updated • 7
saracandu/stlenc-arch
Image Feature Extraction • 0.2B • Updated • 1.81k • 1
saracandu/stlenc
Image Feature Extraction • 0.2B • Updated • 427
saracandu/stldec_onlyhard
Text Generation • 0.2B • Updated • 9
saracandu/stldec_random_1024_pca
Text Generation • 0.2B • Updated • 3
saracandu/stldec_random_128_umap
Text Generation • 14.4M • Updated • 4
datasets 15
saracandu/olmo-activations
Viewer • Updated • 29.6k • 2.25k
saracandu/neurohike-data-outputs
Preview • Updated
saracandu/stl_updated
Viewer • Updated • 3.31M • 28
saracandu/stl_high_complexity
Viewer • Updated • 3.22M • 9
saracandu/stl_new
Viewer • Updated • 420k • 8
saracandu/GSM-Plus-modified
Viewer • Updated • 11.9k • 22
saracandu/stl_formulae_variants
Viewer • Updated • 510k • 48
saracandu/smol_reas_traces
Viewer • Updated • 36k • 40 • 1
saracandu/implications
Viewer • Updated • 19.9k • 14
saracandu/stl_formulae_umap
Viewer • Updated • 81.9k • 13