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

Grantee

Hashberg Ltd / University of Birmingham

Focus Area

TA1.1

Name

Hyper-optimised Tensor Contraction for Neural Networks Verification

Description

Hashberg Ltd / University of Birmin

NoteDeterministic match: grantee, name matched in source snapshot (48 rows)

NoteWhile 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.