Grant kXYqpl-mmv
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: Philosophical Applied Category Theory
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Philosophical Applied Category Theory. Lead(s): David Corfield. Institutions: Independent Researcher. Status: active.
Source evidence
1 src · 3 checks- Grantee
- David Corfield (Independent)
- Focus Area
- TA1.1
- Name
- Philosophical Applied Category Theory
- Description
- Independent Researcher
- Status
- active
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 about ARIA itself as the grantor organization. The claim is about an ARIA grant (TA1.1: Philosophical Applied Category Theory), which is a different technical area within a different programme than what this source covers. Per QUA-648, a specific programme within an organization counts as a mismatch from the parent organization.
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses expanding TA1's scope, it does not provide information about specific TA1 projects, their names, dates, or individual grantees. The source is a high-level programme overview that does not list individual grants or recipients. The record cannot be verified or contradicted based on the provided source text.