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
- January 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 its objectives (scaffolding, formal world models, proof certificates), it does not contain any information about the specific grant 'ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories', its date (2024-01), grantee identifier (ln8-CgTqI8), or funder identifier (XqjV4mbMXQ). The source material is a high-level programme overview rather than a detailed grant registry.
Case № pnmmYoDQvjFiled 4/13/2026Confidence 50%