LGMT - Static Accuracy: leaderboard
LGMT paper v1: 3,091 metamorphic groups from FOLIO, LogicNLI and ProverQA; each contains an original and first-order-logically equivalent follow-up (6,182 calls/model), zero-shot chain of thought. Twenty logic transformations. Invalid calls excluded and not counted as failures. Reasoning endpoints omit rejected sampling controls and escalate truncation budgets from 8,192 to 65,536 tokens. API generations absent from the paper remain source-qualified; no provider-default identity inference. Static Accuracy. Metric: Static Accuracy (%).
Metric: Static Accuracy (%). Source: arxiv.org. Saturation forecast: Estimated already saturated. 6 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Claude Sonnet 4.5 | 73.53 | #148 |
| 2 | GPT-5.2 | 73.34 | #115 |
| 3 | O4 Mini | 69.36 | #180 |
No result here: #3 Claude Opus 5.5, #5 GPT-6 Astra, #6 GPT-6.1 Sol.
Interactive version: theaggregate.ai/benchmark?slug=lgmt-static-accuracy · How It Works · Data refreshed daily, snapshot 2026-10-27.