Grant

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

Profile page →

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

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

Evidence — 1 source, 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA(2 checks)

confirmed95%deterministic-row-match · 4/3/2026

Found: Matched row: {"grantee":"University College London","focusArea":"TA1.1","name":"Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes","description":"University College Londo…

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

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme within the Mathematics for Safe AI opportunity space, mentions Technical Area 1 (TA1) expansion, and references TA1 as involving development of c…

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

Debug info

Record type: grant

Record ID: EInJgNpGw7