Building Featured 69 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 69 Who needs 1T parameters? Olympiad proofs with a 4B model
view article Article OpenEnv in Practice: Evaluating Tool-Using Agents in Real-World Environments +3 Feb 12 • 31
view article Article How to Use Multiple GPUs in Hugging Face Transformers: Device Map vs Tensor Parallelism Feb 12 • 18
view article Article Scaling OpenEnv: From Free Usage to Thousands of Concurrent Environments Jan 20 • 12