A collection of reasoning tasks to benchmark model abilities
Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated
a dataset
about 5 hours ago
saracandu/stl_formulae_variants
published
a dataset
about 5 hours ago
saracandu/stl_formulae_variants
updated
a model
4 days ago
saracandu/stlenc-distilled
Organizations
models
23
saracandu/stlenc-distilled
0.2B
•
Updated
•
111
saracandu/stlenc
Feature Extraction
•
0.2B
•
Updated
•
633
saracandu/stldec_onlyhard
Text Generation
•
0.2B
•
Updated
•
5
saracandu/stldec_random_1024_pca
Text Generation
•
0.2B
•
Updated
•
5
saracandu/stldec_random_128_umap
Text Generation
•
14.4M
•
Updated
•
4
saracandu/stldec_random_64_umap
Text Generation
•
6.81M
•
Updated
•
4
saracandu/stldec_random_32_umap
Text Generation
•
3.33M
•
Updated
•
5
saracandu/stldec_random_16_umap
Text Generation
•
1.66M
•
Updated
•
7
saracandu/stldec_random_512_pca
Text Generation
•
76.1M
•
Updated
•
4
saracandu/stldec_random_512
Text Generation
•
76.1M
•
Updated
•
7
datasets
9
saracandu/stl_formulae_variants
Viewer
•
Updated
•
409k
saracandu/smol_reas_traces
Viewer
•
Updated
•
36k
•
30
•
1
saracandu/implications
Viewer
•
Updated
•
19.9k
•
40
saracandu/stl_formulae_umap
Viewer
•
Updated
•
81.9k
•
6
saracandu/stl_formulae
Viewer
•
Updated
•
81.9k
•
128
saracandu/eureka-rebus-primalettura
Viewer
•
Updated
•
83.1k
•
12
saracandu/eureka-rebus-grpo
Viewer
•
Updated
•
83.1k
•
14
saracandu/rebus-grpo-reasoning
Viewer
•
Updated
•
180
•
8
saracandu/filtered_hotpotQA
Viewer
•
Updated
•
352
•
53
•
1