QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
74
Who needs 1T parameters? Olympiad proofs with a 4B model
samturrets
samturrets
·
AI & ML interests
None yet
Organizations
None yet
liked a
Space 3 months ago
liked 10
Spaces 12 months ago
VectorFlow
🚀
41
AI Convert Image to .SVG & .AI
QR Canvas +
💻
11
Generate customized QR codes with decorations
CryptoVision
🏢
84
Cryptocurrency Price Forecasting System
Trading Asset Sentiment Analysis
👁
87
Trading Asset Sentiment Analysis
Magic Face V3
🤪
30
Source-code Include
Sound AI SFX
🐠
328
SText to Audio(Sound SFX) Generator
Talking Face Longer-SONIC
⚡
62
Portrait Animation
Voice Clone TTS
🏆
155
mcp_server
Gemma-3-R1984-4B
🔥
19
Reasoning + Multimodal + VLM + Deep Research + Agent
Agentic AI MCO-4B
🚀
16
multimodal,search,image capabilities on par with GPT-4o
liked 6
models 12 months ago
seawolf2357/kim-korea
Text-to-Image • Updated • 10 • • 1
ginigen/Private-BitSix-Mistral-Small-3.1-24B-Instruct-2503
24B • Updated • 8 • 14
VIDraft/Gemma-3-R1984-12B
Image-Text-to-Text • 12B • Updated • 11 • • 38
VIDraft/Gemma-3-R1984-4B
Image-Text-to-Text • 4B • Updated • 15 • • 21
VIDraft/Gemma-3-R1984-27B
Image-Text-to-Text • Updated • 9 • 58
openfree/flux-chatgpt-ghibli-lora
Text-to-Image • Updated • 366 • • 511
liked 3
Spaces 12 months ago