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
- September 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 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.
Case № 1RQiokyy2KFiled 4/13/2026Confidence 95%