SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks? - Xiang Deng 001; Jeff Da; Edwin Pan; Yannis Yiming He; Charles Ide; Kanak Garg; Niklas Lauffer; Andrew Park; Nitin Pasari; Chetan Rane; Karmini Sampath; Maya Krishnan; et al. (CoRR, 2025)