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 the grant 'ARIA TA1.1: Unified Automated Reason…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses expanding TA1's scope, it does not contain specific information about individual grants, their names, dates, grantees, or funders. The source is a programme overview page that discusses technical areas and funding decisions but does not list specific funded projects or grants with the identifiers provided in the record. The record cannot be verified or contradicted based on this source material.

Debug info

Record type: grant

Record ID: TwVGUAkE-K