QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
48
Who needs 1T parameters? Olympiad proofs with a 4B model
Gurumurthi V Ramanan
GVR
AI & ML interests
ML
Recent Activity
liked
a Space about 22 hours ago
lm-provers/qed-nano-blogpost upvoted an article 4 days ago
Train AI models with Unsloth and Hugging Face Jobs for FREE upvoted a paper 7 days ago
Experiential Reinforcement Learning Organizations
liked a Space about 22 hours ago
liked a Space 8 days ago
liked 2 models 8 days ago
liked 2 models 11 days ago
liked a model 12 days ago
liked a Space 20 days ago
liked 11 models 21 days ago
tencent/Youtu-VL-4B-Instruct
Image-Text-to-Text • 5B • Updated
• 4.63k • 150
tencent/Youtu-VL-4B-Instruct-GGUF
Image-Text-to-Text • 5B • Updated
• 6.12k • 59
meituan-longcat/LongCat-Flash-Lite
Text Generation • Updated
• 2.71k • 164
Qwen/Qwen3-Coder-Next
Text Generation • Updated
• 484k • • 983
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-NVFP4
Text Generation • 18B • Updated
• 264k • 102
sweepai/sweep-next-edit-0.5B
0.5B • Updated
• 863 • 58
PaddlePaddle/PaddleOCR-VL-1.5
Image-Text-to-Text • Updated
• 19.9k • 416
allenai/SERA-32B
Updated
• 1.68k • 100
allenai/SERA-8B
Updated
• 12.1k • 37
allenai/SERA-32B-GA
Updated
• 50 • 20
inference-net/Schematron-3B
Text Generation • Updated
• 5.87k • 321
liked a model 30 days ago
