Index
Grant 5C24pOMQD5
Verdictunverifiable85%
2 checks · 1 src · 4/29/2026⚠ Headline unverifiable — 1 high-relevance source unverifiable, 1 high-relevance source confirmed.
1 → unverifiable; dissent: 1 → confirmed
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/27/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/29/2026Confidence 85%