Index
Grant: ARIA TA1.4: Privacy-preserving AI Safety Verification (Advanced Research and Invention Agency (ARIA) → University of Birmingham)
Verdictpartial50%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 partial, 1 unverifiable
Partial deterministic match: grantee matched but name did not (48 rows)
Our claim
entire record- Grantee
- University of Birmingham
- Name
- ARIA TA1.4: Privacy-preserving AI Safety Verification
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.4] Privacy-preserving AI Safety Verification. Lead(s): Pascal Berrang, Mirco Giacobbe, Yang Zhang. Institutions: University of Birmingham / CISPA Helmholtz Center. Status: active.
Source evidence
1 src · 2 checkspartial50%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
NotePartial deterministic match: grantee matched but name did not (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms the existence of TA1 within the Safeguarded AI programme and discusses expanding TA1's scope, it does not provide the specific grant name, date (2024-01), grantee identifier (bEVAImWDe3), or funder identifier (XqjV4mbMXQ) mentioned in the record. The source text appears to be a programme overview rather than a detailed grants database, so the specific grant details cannot be verified or contradicted from this excerpt.
Case № kSM3-sjDP6Filed 4/13/2026Confidence 50%