Index
Grant eGc0hPwp_A
Verdictpartial50%
2 checks · 1 src · 4/29/2026⚠ Headline partial — 1 high-relevance source partial, 1 high-relevance source unverifiable.
1 → partial; dissent: 1 → unverifiable
Our claim
entire record- Grantee
- Heriot-Watt University
- Name
- ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Quantitative Predicate Logic as a Foundation for Verified ML. Lead(s): Ekaterina Komendantskaya, Robert Atkey, Radu Mardare, Matteo Capucci. Institutions: Heriot-Watt University / University of Strathclyde. Status: closed.
Source evidence
1 src · 2 checkspartial50%deterministic-row-match · 4/27/2026
- Grantee
- Heriot-Watt University / University of Strathclyde
- Focus Area
- TA1.1
- Name
- Quantitative Predicate Logic as a Foundation for Verified ML
- Description
- Heriot-Watt University / Univer
NotePartial deterministic match: name matched but grantee did not (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile 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.
Case № eGc0hPwp_AFiled 4/29/2026Confidence 50%