Grant Bk3ib0zNHJ
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: Doubly Categorical Systems Logic
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Doubly Categorical Systems Logic. Lead(s): Matteo Capucci. Institutions: Independent Researcher. Status: closed.
Source evidence
1 src · 3 checks- Grantee
- Matteo Capucci (Independent)
- Focus Area
- TA1.1
- Name
- Doubly Categorical Systems Logic
- Description
- Independent Researcher
- Status
- closed
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme, which is a specific programme within ARIA, not ARIA itself as the primary subject. Per QUA-648, programmes and initiatives within an organization count as MISMATCHES from the parent organization. The claim is about ARIA as the grantor entity, while the source focuses on one of ARIA's programmes.
NoteThe source text provides an overview of the Safeguarded AI programme structure and mentions TA1 as 'Scaffolding' with general objectives, but contains no information about specific TA1.1 projects, individual grant recipients, or Matteo Capucci. The funder identifier 'XqjV4mbMXQ' is not mentioned in the source. While the source confirms TA1 exists within the Safeguarded AI programme, it does not provide the specific grant details needed to verify the record.