Grant: ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes (Advanced Research and Invention Agency (ARIA) -> University College London)

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Note: While 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.