Index
Grant: ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems (Advanced Research and Invention Agency (ARIA) → University College London)
Verdictpartial50%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 partial, 1 unverifiable
Partial deterministic match: grantee matched but name did not (48 rows)
Our claim
entire record- Grantee
- University College London
- Name
- ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Unified Automated Reasoning for Randomised Distributed Systems. Lead(s): Alexandra Silva, Robin Piedeleu, Noam Zilberstein. Institutions: UCL / Cornell. Status: active.
Source evidence
1 src · 2 checkspartial50%deterministic-row-match · 4/13/2026
- Grantee
- University College London
- Focus Area
- TA1.1
- Name
- Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes
- Description
- University College London
NotePartial deterministic match: grantee matched but name did not (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses expanding TA1's scope, it does not contain the specific grant name, date (2024-06), grantee identifier (ln8-CgTqI8), or funder identifier (XqjV4mbMXQ) mentioned in the record. The source text appears to be a programme overview page rather than a detailed project listing, so the absence of this specific project information does not contradict the record—it simply cannot be verified from this source.
Case № maD7trPagjFiled 4/13/2026Confidence 50%