Skip to main content
Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover | Signal Canvas | ScienceToStartup