QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
74
Who needs 1T parameters? Olympiad proofs with a 4B model
George Bassem
georgebassemfouad
AI & ML interests
None yet
Organizations
liked 5
Spaces 4 months ago
Maintain the unmaintainable
📚
82
Explore the complex relationships between 400+ machine learning models
FineVision: Open Data is All You Need
📝
230
A new open-source dataset for training VLMs
Scaling FineWeb to 1000+ languages: Step 1: finding signal in 100s of evaluation tasks
📝
94
Evaluate multilingual models using FineTasks
The Synthetic Data Playbook: Generating Trillions of the Finest Tokens
📝
262
Visualize synthetic‑data experiments as an interactive bookshelf
liked 2
Spaces 5 months ago
liked a
Space 8 months ago
liked a
dataset about 1 year ago
liked 4
Spaces over 1 year ago
The Ultra-Scale Playbook
🌌
3.9k
The ultimate guide to training LLM on large GPU Clusters
XTTS
🐸
2.77k
Generate speech from text using a reference voice
Scaling test-time compute
📈
601
Boost LLM answers with flexible test‑time search strategies
FineWeb: decanting the web for the finest text data at scale
🍷
1.38k
Explore and download the FineWeb web‑scale text dataset
liked a
model almost 2 years ago
liked a
dataset about 2 years ago