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
- 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/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 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/13/2026Confidence 50%