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 Area 1 (TA1) and mentions TA1 as part of the programme structure, but does not specifically mention or identify any project called…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and that there are funded projects under TA1, it does not provide the specific project name 'CatColab', the date '2024-01', or the grantee/funder identifiers (K40O5WixNQ and XqjV4mbMXQ). The source text is a programme overview page that discusses structure and strategy but does not list individual funded projects with their details. The record cannot be verified or contradicted based on the provided source material.

Debug info

Record type: grant

Record ID: 5C24pOMQD5