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
- January 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 mentions expansion of TA1 efforts, it does not contain the specific grant record details being verified. The source discusses the programme structure and technical areas but does not list individual grants, their identifiers, dates, or specific grantee/funder information. This makes the record unverifiable against the provided source text.
Case № Ru2x7yXhJSFiled 4/13/2026Confidence 50%