Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated a model about 8 hours ago
saracandu/stldec_updated published a model about 11 hours ago
saracandu/stldec_updated updated a model about 18 hours ago
saracandu/stldec_formulaeOrganizations
models 28
saracandu/stldec_formulae
Feature Extraction • Updated • 567
saracandu/stldec_updated
Updated
saracandu/stldec_arch
Feature Extraction • Updated • 139
saracandu/stlenc-arch-cls
Feature Extraction • 0.2B • Updated • 232
saracandu/stlenc-arch-v2
Feature Extraction • 0.2B • Updated • 18
saracandu/stlenc-arch
Feature Extraction • 0.2B • Updated • 1.14k • 1
saracandu/stlenc
Feature Extraction • 0.2B • Updated • 9
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 • 68
saracandu/stl_high_complexity
Viewer • Updated • 3.22M • 10
saracandu/stl_new
Viewer • Updated • 420k • 54
saracandu/GSM-Plus-modified
Viewer • Updated • 11.9k • 12
saracandu/stl_formulae_variants
Viewer • Updated • 510k • 4
saracandu/smol_reas_traces
Viewer • Updated • 36k • 39 • 1
saracandu/implications
Viewer • Updated • 19.9k • 34
saracandu/stl_formulae_umap
Viewer • Updated • 81.9k • 4
saracandu/stl_formulae
Viewer • Updated • 81.9k • 32