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) mentioned as part of the structure, but does not provide specific information about a grant named 'ARIA TA1.2: Automa…

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

Debug info

Record type: grant

Record ID: Ru2x7yXhJS