Running Featured 83 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 83 Who needs 1T parameters? Olympiad proofs with a 4B model
Paused Agents Featured 181 Gradio Hackathon Registration Winter 25 📝 181 Gradio Agents & MCP Hackathon Winter 2025 Registration Page
