Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated a model about 12 hours ago
saracandu/stldec_updated updated a model about 13 hours ago
saracandu/stldec_formulae published a model 1 day ago
saracandu/stldec_updatedOrganizations
models 28
saracandu/stldec_updated
Updated • 156
saracandu/stldec_formulae
Feature Extraction • Updated • 938
saracandu/stldec_arch
Feature Extraction • Updated • 139
saracandu/stlenc-arch-cls
Feature Extraction • 0.2B • Updated • 240
saracandu/stlenc-arch-v2
Feature Extraction • 0.2B • Updated • 17
saracandu/stlenc-arch
Feature Extraction • 0.2B • Updated • 1.82k • 1
saracandu/stlenc
Feature Extraction • 0.2B • Updated • 8
saracandu/stldec_onlyhard
Text Generation • 0.2B • Updated
saracandu/stldec_random_1024_pca
Text Generation • 0.2B • Updated • 3
saracandu/stldec_random_128_umap
Text Generation • 14.4M • Updated • 4
datasets 14
saracandu/olmo-activations
Viewer • Updated • 22.1k • 5.65k
saracandu/stl_updated
Viewer • Updated • 3.31M • 75
saracandu/stl_high_complexity
Viewer • Updated • 3.22M • 10
saracandu/stl_new
Viewer • Updated • 420k • 55
saracandu/GSM-Plus-modified
Viewer • Updated • 11.9k • 15
saracandu/stl_formulae_variants
Viewer • Updated • 510k • 6
saracandu/smol_reas_traces
Viewer • Updated • 36k • 36 • 1
saracandu/implications
Viewer • Updated • 19.9k • 34
saracandu/stl_formulae_umap
Viewer • Updated • 81.9k • 4
saracandu/stl_formulae
Viewer • Updated • 81.9k • 34