Przemek Chojecki

przemekch's activity

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

liked 2 datasets 4 days ago

ulamai/verified-research-reasoning-trajectories

Viewer • Updated 28 days ago • 12 • 133 • 3

ulamai/verified-math-olympiad-trajectories

Viewer • Updated May 18 • 20 • 122 • 2

liked a model 5 days ago

ulamai/Ulam-1-Small

Text Generation • 3B • Updated 6 days ago • 255 • 4

liked a Space 6 months ago

Running

Featured

83

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

📝

83

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

liked a dataset 7 months ago

ulamai/UnsolvedMath

Viewer • Updated about 13 hours ago • 15.5k • 6.11k • 64