Jasper

JasperDekoninck

·

AI & ML interests

None yet

Recent Activity

updated a Space 2 days ago

MathArena/README

updated a dataset 6 days ago

MathArena/cmimc_2025_outputs

updated a dataset 6 days ago

MathArena/cmimc_2025

View all activity

Organizations

liked a Space 8 months ago

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

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

liked a model 8 months ago

lm-provers/QED-Nano

Text Generation • 4B • Updated Mar 23 • 331 • • 89

liked a dataset over 1 year ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 428 • 14