Grant

Grant: ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories (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 and mentions TA1 (Technical Area 1) as part of the programme structure, but does not specifically mention or identify any individual grant titled…

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 the individual grant record being verified. The source does not mention the grant name, the date 2024-09, the grantee identifier 'ln8-CgTqI8', or the funder identifier 'XqjV4mbMXQ'. Without specific confirmation of these details in the source text, the record cannot be verified as accurate.

Debug info

Record type: grant

Record ID: Illp0_VnZp