Skip to content
Longterm Wiki
Index
Grant·WVy_oxKfvy·Record·Profile

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
June 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 checks
confirmed95%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)

unverifiable95%Haiku 4.5 · 3/25/2026

NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and mentions TA1 projects are under development, it does not provide a list of specific funded projects or their details. The source text is cut off mid-sentence at the end and does not contain information about individual project names, grantees, or funding dates. The funder identifier 'XqjV4mbMXQ' is not mentioned in the source. Without explicit confirmation of these specific details in the source material, the record cannot be verified.

Case № WVy_oxKfvyFiled 4/13/2026Confidence 95%