SWE-bench Verified

Real GitHub issues that a model must fix in a repository; Verified is the human-validated 500-issue subset.