HaltEval-prelim (Meta)
Models judge whether 230 Python programs translated from SV-COMP and TPDB terminate. A divergence claim must give an input that times out after 5 seconds.
In-house Meta evaluation. The tasks are not public. A constant classifier scores 50 on the balanced set.
- Made by
- Meta FAIR
- Released
- September 2025
- Kind
- Function-level problems
- Level
- Expert
- Scored
- Checked automatically
- Answers
- Short answer
- Tasks
- Kept private
- Last in a system card
- September 2025
- Last model added
- September 2025
Code World Model (CWM) leads with 94%
Best score per model as labs report them in their own cards. Labs pick their own settings, so these compare less cleanly than independent runs.
Source: Labs’ model cards
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 |  Code World Model (CWM) | 94% | Sep 2025 | Lab model card |
Meta’s own number for Code World Model (CWM) passed 85% in September 2025
All the scores we have, one dot each, so a model tested at several settings appears more than once.
Source: Labs’ model cards
Labs report it only in system cards
We read the headline results of 522 launch posts from 52 labs, and none of them list this benchmark. Some system cards do, below.
One system card reports it
Besides launch posts, we read the system cards, model cards and technical reports labs publish with a release. They report far more, including safety and frontier-risk tests.
| Date | Document | Score | As the document writes it | Section |
|---|---|---|---|---|
| Sep 30, 2025 | Code World Model (CWM) technical report | 94 | HaltEval-prelim pass@1 with reasoning, printed 0.94, direct 0.37, CoT 0.55 (Table 10) | Capabilities |
More in Coding
- SWE-bench Verified In use 500 human-validated GitHub issues from 12 Python repos. Agent writes a patch that must pass hidden tests. Claude Opus 4.7 83.5%
- LiveCodeBench v6 In use Competitive programming problems collected after model cutoffs from LeetCode, AtCoder, Codeforces. Scored pass@1 on hidden tests.
DeepSeek-V4-Pro 93.5% - SWE-bench Multilingual In use 300 GitHub-issue tasks across nine programming languages in SWE-bench format. Patch graded by repository tests. Claude Fable 5.2 96.6%
- DeepSWE In use 113 original long-horizon engineering tasks across 91 repos and five languages, written from scratch. Hand-written verifiers accept alternative solutions. GPT-6 Astra 74.1%
- SciCode In use Scientist-curated research coding problems split into subproblems across natural sciences. Code checked against test cases.
Seed2.1 Pro 59.8% - Codeforces rating In use Model solves recent Codeforces contest problems. An Elo-style rating is computed from simulated contest performance. DeepSeek V4.1 Flash 3,471