Grant hVGwZX8_Ke
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: True Categorical Programming for Composable Systems
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] True Categorical Programming for Composable Systems. Lead(s): Jade Master, Zans Mihejevs, Andre Videla, Dylan Braithwaite. Institutions: GLAIVE. Status: closed.
Source evidence
1 src · 3 checks- Grantee
- GLAIVE
- Focus Area
- TA1.1
- Name
- True Categorical Programming for Composable Systems
- Description
- GLAIVE
- Status
- closed
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
NoteQUA-650 retro-scan: The claim is about a specific ARIA grant (TA1.1: True Categorical Programming for Composable Systems), but the source is about the broader Safeguarded AI programme within ARIA. Per QUA-648, programmes and specific grants within an organization count as different entities. The source does not focus on the TA1.1 grant or GLAIVE project specifically.
NoteWhile the source confirms the existence of TA1 within the Safeguarded AI programme and mentions expanding TA1's scope, it does not contain any information about the specific grant record being verified. The grant name, grantee organization (GLAIVE), the funder identifier (XqjV4mbMXQ), or the date (2024-06) are not mentioned in the provided text. The source text appears to be a programme overview rather than a detailed grants list, so the specific grant details cannot be confirmed or contradicted.