Index
Grant RPJEzY-5fZ
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
- January 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 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.
Case № RPJEzY-5fZFiled 4/29/2026Confidence 50%