All Source Checks
Grant
Grant: ARIA TA1.1: Employing Categorical Probability Towards Safe AI (Advanced Research and Invention Agency (ARIA) -> University of Oxford)
confirmed95% confidence
2 evidence checks from 1 unique source
Last checked: 4/3/2026
[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)
Evidence — 1 source, 2 checks
confirmed95%deterministic-row-match · 4/3/2026
Found: Matched row: {"grantee":"University of Oxford","focusArea":"TA1.1","name":"Employing Categorical Probability Towards Safe AI","description":"University of Oxford","status":"active"}
Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
Found: The source text discusses the Safeguarded AI programme within the Mathematics for Safe AI opportunity space, mentions Technical Area 1 (TA1) expansion, and references TA1 objectives around scaffolding…
Note: The source confirms the existence of TA1 within the Safeguarded AI programme and discusses TA1 work, but does not provide specific information about individual grants, their names, dates, or grantee identifiers. The record references a specific grant with identifiers and a date of 2024-06, none of which appear in the source text. Without explicit confirmation of these specific details, the record cannot be verified from this source.
Debug info
Record type: grant
Record ID: ntYKuKd-5K