Grant

Grant: ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems (Advanced Research and Invention Agency (ARIA) -> University College London)

Profile page →

partial50% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Partial deterministic match: grantee matched but name did not (48 rows)

Evidence — 1 source, 2 checks

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

partial50%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] Partial deterministic match: grantee matched but name did not (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) mentioned multiple times, but does not specifically name or reference a project titled 'ARIA TA1.1: Unified Automated…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses expanding TA1's scope, it does not contain the specific grant name, date (2024-06), grantee identifier (ln8-CgTqI8), or funder identifier (XqjV4mbMXQ) mentioned in the record. The source text appears to be a programme overview page rather than a detailed project listing, so the absence of this specific project information does not contradict the record—it simply cannot be verified from this source.

Debug info

Record type: grant

Record ID: maD7trPagj