eth-sri/lean-lean
Viewer • Updated • 64 • 39
Kári Rögnvaldsson
karirogg
·
AI & ML interests
None yet
Recent Activity
published a dataset 2 days ago
eth-sri/lean-lean updated a dataset 3 days ago
eth-sri/lean-lean updated a dataset 4 months ago
MathArena/kangaroo_2025_11-12_outputsOrganizations
published a
dataset 2 days ago
updated a
dataset 3 days ago
updated 18
datasets 4 months ago
MathArena/kangaroo_2025_11-12_outputs
Viewer • Updated • 2.52k • 212
MathArena/kangaroo_2025_9-10_outputs
Viewer • Updated • 2.4k • 158
MathArena/kangaroo_2025_7-8_outputs
Viewer • Updated • 2.4k • 172
MathArena/kangaroo_2025_5-6_outputs
Viewer • Updated • 2.31k • 166
MathArena/kangaroo_2025_3-4_outputs
Viewer • Updated • 2.02k • 179
MathArena/kangaroo_2025_1-2_outputs
Viewer • Updated • 2.02k • 208
MathArena/brokenarxiv-0526_outputs
Viewer • Updated • 900 • 132
MathArena/arxivmath-0526_outputs
Viewer • Updated • 2.72k • 256 • 1
MathArena/brokenarxiv-0426_outputs
Viewer • Updated • 2.32k • 158
MathArena/arxivmath-0426_outputs
Viewer • Updated • 2.82k • 197
MathArena/brokenarxiv-0326_outputs
Viewer • Updated • 1.79k • 144
MathArena/arxivlean-0326_outputs
Viewer • Updated • 386 • 216
MathArena/arxivmath-0326_outputs
Viewer • Updated • 1.92k • 189
MathArena/brokenarxiv-0226_outputs
Viewer • Updated • 1.86k • 158
MathArena/arxivmath-0226_outputs
Viewer • Updated • 3.42k • 204
MathArena/arxivmath-0126_outputs
Viewer • Updated • 3.56k • 203
MathArena/arxivmath-1225_outputs
Viewer • Updated • 2.83k • 202
MathArena/usamo_2026_outputs
Viewer • Updated • 216 • 189 • 1