Aviral Kumar

aviralku's activity

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

liked a model 25 days ago

nvidia/Nemotron-Cascade-2-30B-A3B

Text Generation • 32B • Updated 7 days ago • 316k • 473

liked a dataset about 2 months ago

microsoft/webgym_tasks

Viewer • Updated Feb 10 • 293k • 1.21k • 18

liked a model about 2 months ago

CMU-AIRe/e3-1.7B

2B • Updated Jun 11, 2025 • 6 • 1

liked a Space about 2 months ago

Running

Featured

71

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

📝

71

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

liked a model 2 months ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 24 days ago • 2.7k • 87