Grant·Illp0_VnZp·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.2: Data-Parallel Proof Checking for Monoidal Theories
Currency: GBP
Date: September 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: [Safeguarded AI TA1.2] Data-Parallel Proof Checking for Monoidal Theories. Lead(s): Fabio Zanasi, Paul Wilson. Institutions: UCL / Hellas AI. 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 № Illp0_VnZpFiled 5/18/2026Confidence 85%