Grant Ut_HbkwpRW
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
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 · 3 checks- 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)
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme within ARIA, not ARIA itself as the grantor organization. The claim is about a specific grant (TA1.1: String Diagrammatic Probabilistic Logic) from ARIA to Tallinn University of Technology, but the source discusses the Safeguarded AI programme structure and leadership, which is a subsidiary programme/initiative within ARIA, not ARIA as the primary subject.
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.