Index
Grant: ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advanced Research and Invention Agency (ARIA) → Zeroth Research)
Verdictpartial50%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 partial, 1 unverifiable
Partial deterministic match: name matched but grantee did not (48 rows)
Our claim
entire record- Grantee
- Zeroth Research
- Name
- ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification
- Currency
- GBP
- Date
- September 2024
- Notes
- [Safeguarded AI TA1.2] Automated Reasoning Technologies for AI Safety Verification. Lead(s): Mirco Giacobbe, Luca Arnaboldi, Pascal Berrang. Institutions: Zeroth Research / Fondazione Bruno Kessler. Status: active.
Source evidence
1 src · 2 checkspartial50%deterministic-row-match · 4/13/2026
- Grantee
- Zeroth Research / Fondazione Bruno Kessler
- Focus Area
- TA1.2
- Name
- Automated Reasoning Technologies for AI Safety Verification
- Description
- Zeroth Research / Fondazione Bruno Kessl
NotePartial deterministic match: name matched but grantee 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 its expansion, it does not contain the specific grant name, the identifiers (XqjV4mbMXQ and 2oZvXRbu46), the grantee details, or the specific date (2024-09). The source text appears to be a programme overview page rather than a detailed grant record. The information about TA1 is confirmed in principle, but the specific structured data fields cannot be verified from this excerpt.
Case № d7BwEjmKo1Filed 4/13/2026Confidence 50%