Grant

Grant: ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment (Advanced Research and Invention Agency (ARIA) -> University of Michigan)

Profile page →

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Evidence — 1 source, 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA(2 checks)

confirmed95%deterministic-row-match · 4/3/2026

Found: Matched row: {"grantee":"University of Michigan","focusArea":"TA1.3","name":"Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment","description":"University of Michig…

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme within the Mathematics for Safe AI opportunity space, backed by £59m, and mentions Technical Area 1 (TA1) as a focus area. However, it does not s…

Note: The source confirms the existence of the Safeguarded AI programme and TA1, but does not contain specific information about the individual grant record being verified. The grant name, date (2024-09), grantee identifier (CBeGcCyOyw), and funder identifier (XqjV4mbMXQ) are not mentioned in the source text. Without explicit confirmation of these specific details in the source material, the record cannot be verified as accurate.

Debug info

Record type: grant

Record ID: 1RQiokyy2K