FrontierSWE: Dependent Type Checker (Best@5)
Code · 2026-04-16
Implement a fast dependent type checker for a Martin-Löf-style core language. FrontierSWE Best@5 is the highest official task score among up to five independent long-horizon agent runs.
Top models (higher is better)
| Model | Score |
|---|---|
| Claude Fable 5 | 50.5 |
| GLM-5.2 | 9.9 |
| GPT-5.5 | 8.6 |
| Opus 4.8 | 4.2 |
| Grok 4.5 | 3.5 |
| GPT-5.4 | 1.5 |
| Opus 4.7 | 0.5 |
| Opus 4.6 | 0.5 |
| DeepSeek-V4-Pro | 0.5 |
| Gemini 3.1 Pro Preview | 0.5 |
| GLM-5.1 | 0.5 |
| Composer 2.5 | 0.4 |
| Kimi K2.6 | 0.4 |
| Qwen3.6 Plus (2026-04-02) | 0.4 |
| Kimi K2.5 | 0.3 |