Grant

Grant: ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML (Advanced Research and Invention Agency (ARIA) -> Heriot-Watt University)

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":"Heriot-Watt University / University of Strathclyde","focusArea":"TA1.1","name":"Quantitative Predicate Logic as a Foundation for Verified ML","description":"Heriot-Watt Univer…

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 within the Mathematics for Safe AI opportunity space, mentions Technical Area 1 (TA1) and its expansion, but does not specifically name or identi…

Note: While the source confirms the existence of the Safeguarded AI programme and TA1, it does not contain specific information about the individual grant record being verified. The source discusses TA1 in general terms (scaffolding, formal world models, proof certificates) but does not list specific funded projects by name or provide the identifiers (XqjV4mbMXQ, DbW4BTw7jq) or the specific date (2024-01) mentioned in the record. The information is contextually relevant but the specific grant details cannot be confirmed or contradicted from this source.

Debug info

Record type: grant

Record ID: RPJEzY-5fZ