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 that TA1 exists within the Safeguarded AI programme and that the programme is active (with recent updates mentioned), it does not contain specific information about the individual grant record being verified. The source discusses programme-level decisions and technical areas but does not list individual funded projects or grants with their identifiers, names, dates, or grantee information. The record cannot be confirmed or contradicted based on the provided source text.