Jasper

JasperDekoninck's activity

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

published a dataset about 5 hours ago

MathArena/brokenarxiv

Updated 18 days ago

updated 2 datasets 18 days ago

MathArena/brokenarxiv

Updated 18 days ago

MathArena/arxivmath

Viewer • Updated 18 days ago • 103 • 158

updated 2 collections 18 days ago

MathArena Benchmark

Collection

Competitions that are in the MathArena benchmark and on the website. • 28 items • Updated 18 days ago • 2

MathArena Outputs

Collection

Outputs of models on the MathArena Benchmark. • 28 items • Updated 18 days ago • 1

published a dataset 18 days ago

MathArena/brokenarxiv-0326_outputs

Viewer • Updated 18 days ago • 560 • 37

updated a dataset 18 days ago

MathArena/brokenarxiv-0226

Viewer • Updated 18 days ago • 31 • 58

published a dataset 18 days ago

MathArena/brokenarxiv-0326

Viewer • Updated 18 days ago • 56 • 87

updated a dataset 18 days ago

MathArena/arxivmath-1225

Viewer • Updated 18 days ago • 17 • 1.01k

published 2 datasets 18 days ago

MathArena/arxivmath-0326

Viewer • Updated 18 days ago • 31 • 88

MathArena/arxivmath-0326_outputs

Viewer • Updated 18 days ago • 615 • 35

updated 4 datasets 18 days ago

MathArena/brokenarxiv-0326_outputs

Viewer • Updated 18 days ago • 560 • 37

MathArena/arxivmath-0326_outputs

Viewer • Updated 18 days ago • 615 • 35

MathArena/arxivmath-0326

Viewer • Updated 18 days ago • 31 • 88

MathArena/brokenarxiv-0326

Viewer • Updated 18 days ago • 56 • 87

updated a collection 19 days ago

MathArena Benchmark

Collection

Competitions that are in the MathArena benchmark and on the website. • 28 items • Updated 18 days ago • 2

updated a Space 21 days ago

Running

Featured

74

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

74

Who needs 1T parameters? Olympiad proofs with a 4B model

updated a collection 24 days ago

MathArena Outputs

Collection

Outputs of models on the MathArena Benchmark. • 28 items • Updated 18 days ago • 1