# ExplorationBench AlienLogic leaderboard

Agentic benchmark

> Every figure below is reproduced as its upstream source published it: nothing is modelled, estimated, interpolated or converted. `Unavailable` means no source published the value — it is never a zero. Each value carries its evidence state and the date it was observed.

Page: https://modelscale.dev/leaderboards/benchmarks/agentic-exploration-bench-alien-logic

ExplorationBench AlienLogic Best@3. Every model the catalog carries a published ExplorationBench AlienLogic value for, ranked by that value.

## Benchmark record

| Field | Value |
| --- | --- |
| Category | Agentic |
| Measure | Held-out accuracy (Best@3) |
| Tasks | 70 held-out theorems; 24 altered rules |
| Difficulty | Learning and applying unfamiliar inference rules |
| Published by | [ExplorationBench: Measuring AI Systems' Exploration in Verifiable Alien Worlds](https://arxiv.org/abs/2609.30199v1) |

Tests whether a system can discover altered logic rules and use them to prove or correctly decline unseen theorems.

## ExplorationBench AlienLogic ranking

No model in the catalog has a published ExplorationBench AlienLogic score. The benchmark is defined by ExplorationBench: Measuring AI Systems' Exploration in Verifiable Alien Worlds, but the catalog carries no value for it yet. An absent value is shown as absent here rather than as a zero.

Rows are ordered by the value the source published, highest first. The source does not state whether a higher value is the better result, so this document does not either: for a benchmark that measures a rate of failure, read the table from the bottom.