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
- January 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 specific information about individual grants, their names, dates, grantees, or funders. The source is a programme overview page that discusses technical areas and funding decisions but does not list specific funded projects or grants with the identifiers provided in the record. The record cannot be verified or contradicted based on this source material.
Case № TwVGUAkE-KFiled 4/13/2026Confidence 50%