Przemek Chojecki

przemekch's activity

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

liked 5 datasets 3 days ago

ulamai/Math-RL-Tasks

Viewer • Updated about 5 hours ago • 2.76k • 720 • 1

ulamai/SOTA-Math

Viewer • Updated about 5 hours ago • 146 • 122 • 1

ulamai/AIME-Plus-Plus

Viewer • Updated about 5 hours ago • 314 • 604 • 1

ulamai/EdgeReason

Viewer • Updated Jul 10 • 28.4k • 135 • 1

ulamai/open-rl-tasks

Updated 12 days ago • 248 • 1

liked 2 datasets 8 days ago

ulamai/verified-research-reasoning-trajectories

Viewer • Updated Jul 28 • 12 • 142 • 3

ulamai/verified-math-olympiad-trajectories

Viewer • Updated May 18 • 20 • 229 • 2

liked a model 9 days ago

ulamai/Ulam-1-Small

Text Generation • 3B • Updated 10 days ago • 285 • 4

liked a Space 6 months ago

Running

Featured

84

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

📝

84

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

liked a dataset 7 months ago

ulamai/UnsolvedMath

Viewer • Updated 4 days ago • 15.5k • 6.85k • 69