Skip to content
Longterm Wiki has not been actively maintained since May 2026. Some data is still updated occasionally, but please don't rely on this site being current or accurate.
Longterm Wiki
Index
Grant·1RQiokyy2K·Record·Profile

Advanced Research and Invention Agency (ARIA) record

Verdictunverifiable85%
2 checks · 1 src · 9/21/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.

Source evidence

1 src · 2 checks
www.aria.org.uk/programme-safeguarded-ai/ARIAresource
confirmed95%deterministic-row-match · 9/21/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 · 9/21/2026

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

Case № 1RQiokyy2KFiled 9/21/2026Confidence 85%