Przemek Chojecki

przemekch's activity

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

liked a Space about 2 months 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

New activity in lm-provers/QED-Nano about 2 months ago

Formal proofs

👍 1

3

#2 opened 2 months ago by

catalin-hanga

updated a dataset 3 months ago

ulamai/UnsolvedMath

Updated Feb 4 • 96 • 23

liked a dataset 3 months ago

ulamai/UnsolvedMath

Updated Feb 4 • 96 • 23

published a dataset 3 months ago

ulamai/UnsolvedMath

Updated Feb 4 • 96 • 23