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
- September 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 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.
Case № 2uhuL9cLi-Filed 4/13/2026Confidence 95%