Grant

Grant: ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advanced Research and Invention Agency (ARIA) -> Zeroth Research)

Profile page →

partial50% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Partial deterministic match: name matched but grantee did not (48 rows)

Evidence — 1 source, 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA(2 checks)

partial50%deterministic-row-match · 4/3/2026

Found: Matched row: {"grantee":"Zeroth Research / Fondazione Bruno Kessler","focusArea":"TA1.2","name":"Automated Reasoning Technologies for AI Safety Verification","description":"Zeroth Research / Fondazion…

Note: [deterministic-row-match] Partial deterministic match: name matched but grantee did not (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) and mentions that TA1 is being expanded and strengthened. However, it does not specifically mention 'TA1.2: Automated…

Note: While 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.

Debug info

Record type: grant

Record ID: d7BwEjmKo1