Index
Grant: ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advanced Research and Invention Agency (ARIA) → Zeroth Research)
Verdictunverifiable85%
2 checks · 1 src · 9/21/20261 → unverifiable; stale (excluded): 1 → partial
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 · 9/21/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 · 9/14/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
Case № Ru2x7yXhJSFiled 9/21/2026Confidence 85%