Grant·1RQiokyy2K·Record·Profile

Advanced Research and Invention Agency (ARIA) record

Verdictunverifiable85%

2 checks · 1 src · 5/18/2026

1 → unverifiable; stale (excluded): 1 → confirmed

Our claim

entire record

Grantee: University of Michigan
Name: ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment
Currency: GBP
Date: September 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: [Safeguarded AI TA1.3] Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment. Lead(s): Cyrus Omar, Andrew Blinn, Thomas Porter. Institutions: University of Michigan. Status: active.

1 src · 2 checks

confirmed95%deterministic-row-match · 5/18/2026

Grantee: University of Michigan
Focus Area: TA1.3
Name: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment
Description: University of Michigan

NoteDeterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable85%Haiku 4.5 · 5/18/2026

NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.

Case № 1RQiokyy2KFiled 5/18/2026Confidence 85%