Grant·maD7trPagj·Record·Profile

Advanced Research and Invention Agency (ARIA) record

Verdictunverifiable85%

2 checks · 1 src · 5/18/2026

1 → unverifiable; stale (excluded): 1 → partial

Our claim

entire record

Grantee: University College London
Name: ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems
Currency: GBP
Date: June 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
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.

1 src · 2 checks

partial50%deterministic-row-match · 5/18/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 · 5/18/2026

NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.

Case № maD7trPagjFiled 5/18/2026Confidence 85%