Running on CPU Upgrade Featured 423 ML Intern 🤖 423 Display notice that ML Intern moved to HuggingChat
Running Featured 86 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 86 Who needs 1T parameters? Olympiad proofs with a 4B model