Grant

Grant: ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification (Advanced Research and Invention Agency (ARIA) -> Topos Institute)

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":"Topos Institute","focusArea":"TA1.2","name":"CatColab: Collaborative modeling, specification, and verification","description":"Topos Institute","status":"active"}

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

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Areas (TA1, TA2, TA3) and mentions TA1 as a focus area, but does not specifically mention or identify any project called 'ARIA TA1…

Note: While the source confirms the existence of the Safeguarded AI programme and TA1 (Technical Area 1), it does not contain specific information about the CatColab project, the date 2024-09, or the grantee/funder identifiers (K40O5WixNQ and XqjV4mbMXQ). The source text appears to be a programme overview page rather than a detailed project listing, so the absence of this specific project information cannot be considered a contradiction, only unverifiable.

Debug info

Record type: grant

Record ID: 2uhuL9cLi-