Subgraph Atlas · centered on entity

Leanstral 1.5

ai model1 mentions· velocity: stable

Mistral AI's Leanstral 1.5 is an open-source code agent for Lean 4 formal proof engineering, achieving 100% on the miniF2F formal math benchmark.

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

Mistral AIcompany

11 mentions

→ Center atlas here

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