Skip to content
Longterm Wiki
All Source Checks
Grant

Grant: ARIA TA1.1: String Diagrammatic Probabilistic Logic (Advanced Research and Invention Agency (ARIA) -> Tallinn University of Technology)

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Evidence — 1 source, 2 checks

confirmed95%deterministic-row-match · 4/3/2026
Found: Matched row: {"grantee":"Tallinn University of Technology","focusArea":"TA1.1","name":"String Diagrammatic Probabilistic Logic","description":"Tallinn University of Technology","status":"active"}

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026
Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) mentioned multiple times, but does not specifically name or identify any individual TA1 projects, their titles, dates

Note: While 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.

Debug info

Record type: grant

Record ID: Ut_HbkwpRW