Software Engineering Problem Solving on SWE-Bench hard problem subset
10.67Add. Solved
LeanEvolve
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.06 | 10.67 | 60 | |
2026.06 | 8.67 | 70 | |
2026.06 | 8 | 70.67 | |
2026.06 | 5.33 | 65.33 | |
2026.06 | 4.67 | 62.67 |
LeanEvolve
| Method | Links | ||
|---|---|---|---|
2026.06 | 10.67 | 60 | |
2026.06 | 8.67 | 70 | |
2026.06 | 8 | 70.67 | |
2026.06 | 5.33 | 65.33 | |
2026.06 | 4.67 | 62.67 |