FrontierSWE: Dependent Type Checker (Mean@5)
Code · 2026-04-16
Implement a fast dependent type checker for a Martin-Löf-style core language. 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 | 45.1 |
| GLM-5.2 | 4.3 |
| GPT-5.5 | 2.3 |
| Grok 4.5 | 2.1 |
| Opus 4.8 | 1.8 |
| GPT-5.4 | 0.7 |
| Opus 4.7 | 0.5 |
| Opus 4.6 | 0.5 |
| Gemini 3.1 Pro Preview | 0.4 |
| DeepSeek-V4-Pro | 0.4 |
| Composer 2.5 | 0.3 |
| Kimi K2.6 | 0.3 |
| Qwen3.6 Plus (2026-04-02) | 0.3 |
| Kimi K2.5 | 0.3 |
| GLM-5.1 | 0.2 |