Fix Leaderboard name in Banner

[SmartManoj]

https://github.com/SWE-agent/SWE-agent/releases/tag/v1.0.1

[SmartManoj]

It is SOTA on lite and full.

import json
from datasets import load_dataset

result_file = r'evaluation\test\20250227_sweagent-claude-3-7-20250219\results\results.json'

with open(result_file, 'r') as f:
    data = json.load(f)

swebench_lite = load_dataset("princeton-nlp/SWE-bench_Lite", split="test", cache_dir="cache")
swebench_verified = load_dataset("princeton-nlp/SWE-bench_Verified", split="test", cache_dir="cache")
swebench_test = load_dataset("princeton-nlp/SWE-bench", split="test", cache_dir="cache")

filtered_swebench_lite = swebench_lite.filter(lambda x: x['instance_id'] in data['resolved'])
print(f"result_lite: {len(filtered_swebench_lite)}/{len(swebench_lite)} = {(len(filtered_swebench_lite)/len(swebench_lite)):.2%}")

filtered_swebench_verified = swebench_verified.filter(lambda x: x['instance_id'] in data['resolved'])
print(f"result_verified: {len(filtered_swebench_verified)}/{len(swebench_verified)} = {(len(filtered_swebench_verified)/len(swebench_verified)):.2%}")

filtered_swebench_test = swebench_test.filter(lambda x: x['instance_id'] in data['resolved'])
print(f"result_test: {len(filtered_swebench_test)}/{len(swebench_test)} = {(len(filtered_swebench_test)/len(swebench_test)):.2%}")

Output:

result_lite: 141/300 = 47.00%
result_verified: 288/500 = 57.60%
result_test: 776/2294 = 33.83%