adya y

phirni's activity

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

liked a Space about 1 month 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 model 2 months ago

meta-llama/Llama-3.2-3B-Instruct

Text Generation • 3B • Updated Oct 24, 2024 • 1.2M • • 2.4k