Index
Advanced Research and Invention Agency (ARIA) record
Verdictunverifiable85%
2 checks · 1 src · 9/21/20261 → unverifiable; stale (excluded): 1 → partial
Our claim
entire record- Grantee
- University of Birmingham
- Name
- ARIA TA1.4: Privacy-preserving AI Safety Verification
- Currency
- GBP
- Date
- February 2025
- 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 · 9/21/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 · 9/21/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
Case № DpdfO1rUx6Filed 9/21/2026Confidence 85%