Running Featured 64 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems ๐ 64 Who needs 1T parameters? Olympiad proofs with a 4B model
Lumine: An Open Recipe for Building Generalist Agents in 3D Open Worlds Paper โข 2511.08892 โข Published Nov 12, 2025 โข 213
Sleeping Featured 181 Gradio Hackathon Registration Winter 25 ๐ 181 Gradio Agents & MCP Hackathon Winter 2025 Registration Page