Grant sD8UJdUXU8
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
- January 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 TA1 within the Safeguarded AI programme and discusses its objectives, it does not contain specific information about this particular grant record, including the grant name, the date (2024-01), the grantee identifier (ln8-CgTqI8), or the funder identifier (XqjV4mbMXQ). The source text is a high-level programme overview that does not list individual funded projects or grants. Therefore, the record cannot be verified or contradicted based on the provided source material.