Skip to content
Longterm Wiki
All Source Checks
Grant

Grant: ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Research and Invention Agency (ARIA) -> Topos Institute)

partial50% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Partial deterministic match: name matched but grantee did not (48 rows)

Evidence — 1 source, 2 checks

partial50%deterministic-row-match · 4/3/2026
Found: Matched row: {"grantee":"Topos Research UK / University of Florida","focusArea":"TA1.1","name":"Double Categorical Systems Theory for Safeguarded AI","description":"Topos Research UK / University of F

Note: [deterministic-row-match] Partial deterministic match: name matched but grantee did not (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026
Found: The source text discusses the Safeguarded AI programme and its Technical Areas (TA1, TA2, TA3), but does not mention any specific grant titled 'ARIA TA1.1: Double Categorical Systems Theory for Safegu

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses the programme structure, it does not contain specific information about the individual grant record being verified. The source text is a programme overview page that discusses technical areas and funding decisions, but does not list individual project grants or their identifiers. The specific grant name, date (2024-06), grantee ID, and funder ID cannot be confirmed or contradicted by this source material.

Debug info

Record type: grant

Record ID: UffY6rjhYO