Index
Grant: ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Research and Invention Agency (ARIA) → Topos Institute)
Verdictpartial50%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 partial, 1 unverifiable
Partial deterministic match: name matched but grantee did not (48 rows)
Our claim
entire record- Grantee
- Topos Institute
- Name
- ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Double Categorical Systems Theory for Safeguarded AI. Lead(s): David Jaz Myers, Owen Lynch, Sophie Libkind, David Spivak, James Fairbanks. Institutions: Topos Research UK / University of Florida. Status: active.
Source evidence
1 src · 2 checkspartial50%deterministic-row-match · 4/13/2026
- Grantee
- Topos Research UK / University of Florida
- Focus Area
- TA1.1
- Name
- Double Categorical Systems Theory for Safeguarded AI
- Description
- Topos Research UK / University of Florida
NotePartial deterministic match: name matched but grantee did not (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses the programme structure, it does not contain specific information about the individual grant record being verified. The source text is a programme overview page that discusses technical areas and funding decisions, but does not list individual project grants or their identifiers. The specific grant name, date (2024-06), grantee ID, and funder ID cannot be confirmed or contradicted by this source material.
Case № UffY6rjhYOFiled 4/13/2026Confidence 50%