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 provide specific information about individual grants, their …

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses its objectives (scaffolding, formal world models, proof certificates), it does not contain any information about the specific grant 'ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories', its date (2024-01), grantee identifier (ln8-CgTqI8), or funder identifier (XqjV4mbMXQ). The source material is a high-level programme overview rather than a detailed grant registry.

Debug info

Record type: grant

Record ID: pnmmYoDQvj