Subgraph Atlas · centered on entity

LEAP

product1 mentions· velocity: stable

Google's LEAP is an AI scaffold that dramatically improves mathematical reasoning, raising the one-shot solve rate on Lean-IMO-Bench from under 10% to 70% and solving all 12 problems from the 2025 Putnam competition.

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

Lean-IMO-Benchproduct

1 mentions

→ Center atlas here

How to read this: the white-ringed node is LEAP. 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.