Aviral Kumar

aviralku's activity

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

liked a Space 6 days ago

Running

71

Introducing Carbon-X

🧬

71

The best open model for DNA understanding

liked a model about 1 month ago

CMU-AIRe/SeeQ-3B

Robotics • Updated Sep 21 • 3

liked a model 4 months ago

thinkingmachines/Inkling

Image-Text-to-Text • 952B • Updated Jul 23 • 1.91M • • 1.83k

liked a model 7 months ago

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

Text Generation • 32B • Updated Jul 9 • 9.8k • 532

liked a dataset 8 months ago

microsoft/webgym_tasks

Viewer • Updated Feb 10 • 293k • 1.58k • 22

liked a model 8 months ago

CMU-AIRe/e3-1.7B

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

liked a Space 8 months ago

Running

Featured

86

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

📝

86

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

liked a model 9 months ago

lm-provers/QED-Nano

Text Generation • 4B • Updated Mar 23 • 341 • • 89