Jr. AI Scientist and Its Risk Report: Autonomous Scientific Exploration from a Baseline Paper Paper • 2511.04583 • Published Nov 6, 2025 • 3
Running Featured 56 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 56 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 18 days ago • 46