Subgraph Atlas · centered on entity

Lean-IMO-Bench

product1 mentions· velocity: stable

Lean-IMO-Bench is a benchmark from MiniMax that measures an AI model’s ability to solve International Mathematical Olympiad problems. It demonstrated a leap in one-shot solve rate from under 10% to 70%, highlighting significant reasoning advances.

Two-hop subgraph: this entity, every entity it directly relates to, and every entity those neighbors relate to. Drag a node, scroll to zoom, click to inspect — or click any neighbor and re-center the atlas there.

0 nodes · 0 edges · loading…

companypersonai_modelproductresearch_labbenchmarkframework

drag to move · scroll to zoom · click a node

Top connections

LEAPproduct

1 mentions

→ Center atlas here

How to read this: the white-ringed node is Lean-IMO-Bench. Surrounding nodes are direct relationships; the second ring is what those neighbors connect to. Edge thickness scales with source-article evidence. Click any node and choose Center graph here to walk the graph.