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) expansion, and references TA1 toolkit development, but does…

Note: While the source confirms the existence of TA1 within the Safeguarded AI programme and discusses TA1 objectives (scaffolding, formal world models, specifications, proof certificates), it does not provide information about specific individual grants, their names, dates, grantees, or the identifiers mentioned in the record. The source material is a programme overview rather than a detailed grants database, so the specific grant record cannot be verified against it.

Debug info

Record type: grant

Record ID: eGc0hPwp_A