Index
Grant: ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories (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.2: Data-Parallel Proof Checking for Monoidal Theories
- Currency
- GBP
- Date
- September 2024
- Notes
- [Safeguarded AI TA1.2] Data-Parallel Proof Checking for Monoidal Theories. Lead(s): Fabio Zanasi, Paul Wilson. Institutions: UCL / Hellas AI. 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 the individual grant record being verified. The source does not mention the grant name, the date 2024-09, the grantee identifier 'ln8-CgTqI8', or the funder identifier 'XqjV4mbMXQ'. Without specific confirmation of these details in the source text, the record cannot be verified as accurate.
Case № Illp0_VnZpFiled 4/13/2026Confidence 50%