Index
Grant: ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification (Advanced Research and Invention Agency (ARIA) → University of Birmingham)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Grantee
- University of Birmingham
- Name
- ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Hyper-optimised Tensor Contraction for Neural Networks Verification. Lead(s): Stefano Gogioso, Mirco Giacobbe. Institutions: Hashberg Ltd / University of Birmingham. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- 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)
unverifiable95%Haiku 4.5 · 3/25/2026
NoteWhile 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.
Case № XEowBh9aRwFiled 4/13/2026Confidence 95%