Aviral Kumar

aviralku's activity

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

liked a model 1 day ago

CMU-AIRe/e3-1.7B

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

liked a Space 2 days ago

Running

Featured

35

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

📝

35

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

liked a model 4 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 3 days ago • 352 • 65