Kári Rögnvaldsson

karirogg's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

published a dataset 21 days ago

eth-sri/lean-lean

Viewer • Updated 21 days ago • 64 • 181 • 1

updated a dataset 21 days ago

eth-sri/lean-lean

Viewer • Updated 21 days ago • 64 • 181 • 1

updated 18 datasets 4 months ago

MathArena/kangaroo_2025_11-12_outputs

Viewer • Updated Sep 11 • 2.52k • 312

MathArena/kangaroo_2025_9-10_outputs

Viewer • Updated Sep 11 • 2.4k • 288

MathArena/kangaroo_2025_7-8_outputs

Viewer • Updated Sep 11 • 2.4k • 320

MathArena/kangaroo_2025_5-6_outputs

Viewer • Updated Jun 23 • 2.31k • 280

MathArena/kangaroo_2025_3-4_outputs

Viewer • Updated Sep 11 • 2.02k • 308

MathArena/kangaroo_2025_1-2_outputs

Viewer • Updated Sep 11 • 2.02k • 327

MathArena/brokenarxiv-0526_outputs

Viewer • Updated 11 days ago • 2.5k • 222

MathArena/arxivmath-0526_outputs

Viewer • Updated 11 days ago • 3.82k • 419 • 1

MathArena/brokenarxiv-0426_outputs

Viewer • Updated 11 days ago • 2.32k • 245

MathArena/arxivmath-0426_outputs

Viewer • Updated 11 days ago • 3.06k • 361

MathArena/brokenarxiv-0326_outputs

Viewer • Updated Sep 11 • 1.79k • 222

MathArena/arxivlean-0326_outputs

Viewer • Updated Sep 11 • 386 • 280

MathArena/arxivmath-0326_outputs

Viewer • Updated Sep 11 • 1.92k • 291

MathArena/brokenarxiv-0226_outputs

Viewer • Updated Sep 11 • 1.86k • 235

MathArena/arxivmath-0226_outputs

Viewer • Updated Sep 11 • 3.42k • 354

MathArena/arxivmath-0126_outputs

Viewer • Updated Sep 11 • 3.56k • 361

MathArena/arxivmath-1225_outputs

Viewer • Updated Sep 11 • 2.83k • 321

MathArena/usamo_2026_outputs

Viewer • Updated Sep 11 • 216 • 244 • 1