Grant: ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification (Advanced Research and Invention Agency (ARIA) -> University of Birmingham)

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

Note: While the source confirms the existence of the Safeguarded AI programme and TA1, it does not contain specific information about the individual grant record being verified. The source discusses the programme structure and technical areas at a high level but does not list specific funded projects or grants with their names, dates, grantees, or funders. The identifiers 'XqjV4mbMXQ' and 'bEVAImWDe3' are not mentioned in the source text. Without explicit confirmation of these specific details in the source material, the record cannot be verified.