CrypFormBench: leaderboard
Metric: Overall score (0-100): 0.15 interpretation + 0.25 generation + 0.20 completion + 0.25 transformation + 0.15 correction task scores on CrypFormBench (700 instances, 677 cryptographic schemes, 7 formal verifier languages); higher is better. Source: arxiv.org. Saturation forecast: Estimated already saturated. 9 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | GPT-4o | 35 |
| 2 | DeepSeek R1 | 34.6 |
| 3 | GPT-4o Mini | 23 |
| 4 | Gemini 2.5 Pro | 22.8 |
| 5 | Grok 3 | 18 |
| 6 | GLM-4 | 16.1 |
Interactive version: theaggregate.ai/benchmark?slug=crypformbench · How It Works · Data refreshed daily, snapshot 2026-09-29.