Jr. AI Scientist and Its Risk Report: Autonomous Scientific Exploration from a Baseline Paper Paper • 2511.04583 • Published Nov 6, 2025 • 5
Running Featured 57 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 57 Who needs 1T parameters? Olympiad proofs with a 4B model
view article Article LateOn-Code & ColGrep: LightOn unveils state-of-the-art code retrieval models and code search tooling 21 days ago • 47