Grant EInJgNpGw7
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
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 checks- 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)
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.
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.