Index
Grant: ARIA TA1.1: String Diagrammatic Probabilistic Logic (Advanced Research and Invention Agency (ARIA) → Tallinn University of Technology)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Name
- ARIA TA1.1: String Diagrammatic Probabilistic Logic
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] String Diagrammatic Probabilistic Logic. Lead(s): Pawel Sobocinski, Eigil Rischel. Institutions: Tallinn University of Technology. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- Tallinn University of Technology
- Focus Area
- TA1.1
- Name
- String Diagrammatic Probabilistic Logic
- Description
- Tallinn University of Technology
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (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 and toolkit, it does not provide specific information about a project called 'ARIA TA1.1: String Diagrammatic Probabilistic Logic', its date (2024-01), the grantee (Tallinn University of Technology), or the funder identifier (XqjV4mbMXQ). The source text is a programme overview that does not list individual funded projects. The record cannot be verified or contradicted based on this source material.
Case № Ut_HbkwpRWFiled 4/13/2026Confidence 95%