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