Index
Grant: ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes (Advanced Research and Invention Agency (ARIA) → University College London)
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- 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 · 2 checksconfirmed95%deterministic-row-match · 4/13/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 · 3/25/2026
NoteWhile the source confirms the existence of the Safeguarded AI programme and TA1, it does not contain specific information about the individual grant record being verified. The source discusses the programme structure and TA1 objectives at a high level but does not list specific funded projects or grants with their titles, dates, grantees, or identifiers. The date (2024-06) and specific grant details cannot be verified from this excerpt.
Case № EInJgNpGw7Filed 4/13/2026Confidence 95%