Grant

Grant: ARIA TA1.1: True Categorical Programming for Composable Systems (Advanced Research and Invention Agency (ARIA) -> GLAIVE)

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":"GLAIVE","focusArea":"TA1.1","name":"True Categorical Programming for Composable Systems","description":"GLAIVE","status":"closed"}

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

unverifiable95%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme backed by £59m, with Technical Area 1 (TA1) mentioned as a focus area. However, no specific grant titled 'ARIA TA1.1: True Categorical Programmin…

Note: While the source confirms the existence of TA1 within the Safeguarded AI programme and mentions expanding TA1's scope, it does not contain any information about the specific grant record being verified. The grant name, grantee organization (GLAIVE), the funder identifier (XqjV4mbMXQ), or the date (2024-06) are not mentioned in the provided text. The source text appears to be a programme overview rather than a detailed grants list, so the specific grant details cannot be confirmed or contradicted.

Debug info

Record type: grant

Record ID: hVGwZX8_Ke