FrontierSWE: Pyright Type Checking Optimization (Mean@5)
Code · 2026-04-16
Make pyright faster without changing diagnostics. FrontierSWE Mean@5 is the average official task score across up to five independent long-horizon agent runs.
Top models (higher is better)
| Model | Score |
|---|---|
| Claude Fable 5 | 1.2 |
| Grok 4.5 | 1.1 |
| GLM-5.2 | 1.1 |
| Gemini 3.1 Pro Preview | 1.1 |
| GPT-5.5 | 1.1 |
| GPT-5.4 | 1.0 |
| Qwen3.6 Plus (2026-04-02) | 1.0 |
| Kimi K2.5 | 1.0 |
| GLM-5.1 | 0.9 |
| Opus 4.8 | 0.9 |
| Opus 4.6 | 0.8 |
| DeepSeek-V4-Pro | 0.8 |
| Opus 4.7 | 0.5 |
| Composer 2.5 | 0.4 |
| Kimi K2.6 | 0.4 |