QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
65
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 24 days ago
lm-provers/qed-nano-blogpost liked
a Space 28 days ago
stepfun-ai/Step-3.5-Flash liked
a Space 28 days ago
ACE-Step/Ace-Step-v1.5 Organizations
None yet
liked a Space 24 days ago
liked 3 Spaces 28 days ago
liked a Space about 2 months ago
liked a model about 2 months ago
liked 2 Spaces 2 months ago
liked 5 Spaces 3 months ago
Cognitive Proxy
🧠
70
Generate text variants guided by brain patterns
FunctionGemma Physics Playground
🕹
103
Use natural language to solve fun physics simulation puzzles
TRELLIS.2
🏢
1.23k
High-fidelity 3D Generation from images
Karpathy Llm Council
🏢
245
Consult a council of LLMs for a refined answer
Supertonic TTS WebGPU
⚡
106
Blazingly fast text-to-speech 100% locally in your browser
upvoted an article 3 months ago
Article
Transformers v5: Simple model definitions powering the AI ecosystem
- +2
•
305
liked 2 Spaces 4 months ago
liked 3 Spaces 5 months ago
upvoted a collection 5 months ago