Index
Grant Y5KYXGTD0R
Verdictunverifiable85%
2 checks · 1 src · 4/29/2026⚠ Headline unverifiable — 1 high-relevance source unverifiable, 1 high-relevance source confirmed.
1 → unverifiable; dissent: 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI
- Currency
- GBP
- Date
- June 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/27/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 that TA1 exists within the Safeguarded AI programme and that the programme is expanding TA1's scope, it does not provide information about specific TA1.1 projects, their names, dates, or grantee institutions. The source text appears to be a programme overview rather than a detailed project listing. The specific grant name, date (2024-06), grantee institution, and funder identifier cannot be verified from this excerpt.
Case № Y5KYXGTD0RFiled 4/29/2026Confidence 85%