About

Purpose

Work on verifying claims about AI hardware and software is spread across papers, preprints, technical notes and project pages, with no shared, maintained map. This site aims to be that map: what each mechanism can establish, how mature it is for verification use, what blocks it, and how mechanisms depend on one another. This first version holds 25 mechanisms, 12 implementations and 182 sources, all drafted with AI assistance from public sources, checked by an independent verifier and awaiting expert review.

Audience

• Technical newcomers getting up to speed on the field.
• Policy and funding readers who need the lay of the land.
• AI research agents, which can read the machine-readable export.

What it is not

• Not an audit, certification or endorsement of any mechanism, product or organization.
• Not advocacy for any agreement or policy.
• Not a final verdict on maturity. Readiness levels are editorial assessments under a published rubric, and are open to correction.

Credits

The bibliography was seeded from Will Hodgkins' AI Workload Verification Papers, which is licensed CC BY 4.0 and builds on earlier reading lists by Mauricio Baker and James Petrie. The site's structure borrows from the rubric-based maturity stages of L2BEAT, the versioned, git-based data of MITRE ATLAS, and the neutrality norms of the Stanford Encyclopedia of Philosophy and Wikipedia.

The site is maintained by Dan Girshovich. Content is licensed CC BY 4.0, and code is licensed MIT.