QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
66
Who needs 1T parameters? Olympiad proofs with a 4B model
Krupakar Reddy PRO
krupakar-reddy
AI & ML interests
None yet
Recent Activity
liked
a Space 27 days ago
lm-provers/qed-nano-blogpost liked
a Space about 1 month ago
stepfun-ai/Step-3.5-Flash liked
a Space about 1 month ago
ACE-Step/Ace-Step-v1.5 Organizations
None yet
liked a Space 27 days ago
liked 3 Spaces about 1 month ago
liked a Space about 2 months ago
liked a model about 2 months ago
liked 7 Spaces 3 months ago
Agents Perspective
👀
15
Experience the world through an RFT observer agent’s view
Soprano TTS
🗣
147
Now with upgraded v1.1 model!
Cognitive Proxy
🧠
70
Generate text variants guided by brain patterns
FunctionGemma Physics Playground
🕹
104
Use natural language to solve fun physics simulation puzzles
TRELLIS.2
🏢
1.24k
High-fidelity 3D Generation from images
Karpathy Llm Council
🏢
246
Consult a council of LLMs for a refined answer
Supertonic TTS WebGPU
⚡
106
Blazingly fast text-to-speech 100% locally in your browser
liked 2 Spaces 4 months ago
liked 3 Spaces 5 months ago
liked a model 5 months ago
liked a Space 6 months ago