Index
Grant: ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification (Advanced Research and Invention Agency (ARIA) → Topos Institute)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Grantee
- Topos Institute
- Name
- ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.2] CatColab: Collaborative modeling, specification, and verification. Lead(s): Evan Patterson, Tim Hosgood, Kevin Carlson, Brendan Fong. Institutions: Topos Institute. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- Topos Institute
- Focus Area
- TA1.2
- Name
- CatColab: Collaborative modeling, specification, and verification
- Description
- Topos Institute
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile 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.
Case № 5C24pOMQD5Filed 4/13/2026Confidence 95%