SWE-Bench Pro: Raising the Bar for Agentic Coding | Scale AI