Running Featured 68 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems π 68 Who needs 1T parameters? Olympiad proofs with a 4B model
Running on CPU Upgrade Featured 3.06k The Smol Training Playbook π 3.06k The secrets to building world-class LLMs
HuggingFaceH4/zephyr-7b-alpha Text Generation β’ 7B β’ Updated Oct 16, 2024 β’ 4.27k β’ β’ 1.12k
Running 56 Bringing paper to life: A modern template for scientific writing π 56 Download a readyβtoβuse scientific paper template
google/embeddinggemma-300m Sentence Similarity β’ 0.3B β’ Updated Sep 25, 2025 β’ 1.66M β’ β’ 1.55k