Index
Grant: ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment (Advanced Research and Invention Agency (ARIA) → University of Michigan)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
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
- January 2024
- 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.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/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 · 3/25/2026
NoteThe 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 identifiers (XqjV4mbMXQ and CBeGcCyOyw) are not mentioned in the source text, and no specific TA1.3 project is identified. The date (2024-01) and specific project title cannot be verified from this excerpt. This is unverifiable rather than contradicted because the source doesn't deny the grant exists—it simply doesn't provide the specific details needed to confirm the record.
Case № 2RGjBTvsZJFiled 4/13/2026Confidence 95%