Grant

Grant: ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework (Advanced Research and Invention Agency (ARIA) -> University of York)

Profile page →

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

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

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

Found: Matched row: {"grantee":"University of York","focusArea":"TA1.1","name":"ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework","description":"University of York","status":"ac…

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable95%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme within the Mathematics for Safe AI opportunity space, backed by £59m, with Technical Areas (TA1, TA2, TA3). TA1 is mentioned as 'Scaffolding' foc…

Note: While the source confirms the existence of the Safeguarded AI programme and TA1, it does not contain any information about the specific grant record being verified. The grant name 'ULTIMATE', the grantee 'University of York', the funder identifier 'XqjV4mbMXQ', or the date '2024-06' are not mentioned in the provided source text. The source discusses the programme structure and technical areas but does not list individual funded projects or their recipients.

Debug info

Record type: grant

Record ID: 4mqBtGuxhw