Skip to content

AI Verification Tech Map Search

Why verify Claims Mechanisms Implementations Organizations Glossary Browse Graph

Graph

Every claim, mechanism, implementation and organization on the site, and how they connect. Select anything to see where it sits, then follow its relations.

View and filters

View

Claims, the mechanisms and implementations aimed at them, and who builds them.

Show

Claims10
Mechanisms25
Implementations16
Organizations23
Blockers146
Known flaws140
Concepts25
Challenge themes9
Categories6
Sources212

Readiness shading: R0 R1 R2 R3 R4

Relations

Helps verify98
Implements33
Develops11
Works on55
Works toward95
Depends on40
Complements51
Alternative to9
Blocks146
Waits on45
Weakens140
Uses concept267
Related to50
Challenge theme146
Faces173
In category41
Cites662
Published79
Mentions66

Include supporting roles (dashed)

Mechanisms and implementations

Category

On-chip & hardware-enabled
Off-chip devices & sensors
Cryptographic & computational
Isolation & system architectures
Compute accounting & provenance
Remote & side-channel sensing

Readiness

R0 Idea
R1 Proposed
R2 Demonstrated
R3 In production
R4 Deployment-ready

Display

Labels Where they fit All Selection only

Hide items with no visible relations Arrows

· Graph data (JSON)

Find in the graph

Map Sources Methodology About Contribute Data & API Status

Draft. Records are AI-drafted and checked against their sources; expert review pending. AI Verification Tech Map is an educational reference, not an audit, certification or endorsement. Content CC BY 4.0; bibliography seeded from Will Hodgkins' AI Workload Verification Papers.