Index
Grant: ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Research and Invention Agency (ARIA) → University of Manchester)
Verdictunverifiable85%
2 checks · 1 src · 6/15/20261 → unverifiable; stale (excluded): 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 · 6/15/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 · 6/15/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
Case № Y5KYXGTD0RFiled 6/15/2026Confidence 85%