Index
Grant: ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Research and Invention Agency (ARIA) → University of Manchester)
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- Name
- ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Profunctors: A unified semantics for safeguarded AI. Lead(s): Nicola Gambino. Institutions: University of Manchester. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- University of Manchester
- Focus Area
- TA1.1
- Name
- Profunctors: A unified semantics for safeguarded AI
- Description
- University of Manchester
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms the existence of the Safeguarded AI programme and TA1, it does not contain specific information about this particular grant record. The source text appears to be a programme overview page rather than a detailed grants list. The specific grant name, grantee institution, funder identifier, and date cannot be verified from the provided excerpt.
Case № utk0FBmOuFFiled 4/13/2026Confidence 95%