Index
Advanced Research and Invention Agency (ARIA) record
Verdictunverifiable85%
3 checks · 1 src · 5/18/20261 → unverifiable; stale (excluded): 1 → confirmed, 1 → partial
Our claim
entire record- Grantee
- University College London
- Name
- ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes. Lead(s): Fabio Zanasi. Institutions: University College London. Status: active.
Source evidence
1 src · 3 checksconfirmed95%deterministic-row-match · 5/18/2026
- Grantee
- University College London
- Focus Area
- TA1.1
- Name
- Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes
- Description
- University College London
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 5/18/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
partial95%qua650-retro-scan-subject-identity · 4/21/2026
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme, which is a specific programme within ARIA. The claim is about a grant from ARIA's 'TA1.1' project on string diagrams. While both involve ARIA, the source focuses on the Safeguarded AI programme structure and leadership, not the specific TA1.1 grant to University College London mentioned in the claim. Per QUA-648, a specific programme within an organization counts as a MISMATCH from the parent organization itself.
Case № EInJgNpGw7Filed 5/18/2026Confidence 85%