adya y

phirni's activity

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

liked a Space 26 days ago

Running

Featured

82

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

📝

82

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.46M • • 2.39k