Index
Grant: ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML (Advanced Research and Invention Agency (ARIA) → Heriot-Watt University)
Verdictpartial50%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 partial, 1 unverifiable
Partial deterministic match: name matched but grantee did not (48 rows)
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/13/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/13/2026Confidence 50%