Grant: ARIA TA1.1: Modal Types for Quantitative Analysis (Advanced Research and Invention Agency (ARIA) -> University of Kent)

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses TA1 projects in general terms, it does not provide a list of specific funded projects or their details. The record references a specific grant with a specific name, grantee institution, and date, but the source text does not contain this granular project-level information. The funder identifier 'XqjV4mbMXQ' is also not mentioned in the source. Without explicit confirmation of this specific project in the source material, the claim cannot be verified.