All Source Checks
Automated source checking of wiki data against original sources. Each record is checked against one or more external sources to confirm accuracy.
View internal dashboard with coverage & action queue →Verified Correct
4,922
84% of checked
Has Issues
599
10% of checked
Can't Verify
354
6% of checkedincl. 76 dead links
Not Yet Checked
0
of 5,875 total
Contradicted
6
Fix now — data may be wrong
Outdated
0
All current
Accuracy Rate
100%
confirmed / (confirmed + wrong + outdated)
Needs Recheck
0
All up to date
ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthes…
ARIA TA2: SHIELD: Safeguarding High-Impact AI for Enhanced Manufacturing (Adva…
ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verificatio…
ARIA TA3: SAGEflex: Safeguarded AI Agents for Grid-Edge Flexibility (Advanced …
ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Rese…
ARIA TA2: Recursive Safeguarding (Advanced Research and Invention Agency (ARIA…
ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories (Advanced Resea…
ARIA TA1.4: Deliberative AI Specifications and Infrastructure (Advanced Resear…
ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML (Adva…
ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems (Ad…
ARIA TA1.4: Privacy-preserving AI Safety Verification (Advanced Research and I…
ARIA TA3: SAINTES: Safe and scalable AI decision support for Energy Systems (A…
ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Res…
ARIA TA1.1: Employing Categorical Probability Towards Safe AI (Advanced Resear…
ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification …
ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator)…
ARIA TA1.1: Supermartingale Certificates for Temporal Logic (Advanced Research…
ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Compu…
ARIA TA1.1: Safety: Core representation underlying safeguarded AI (Advanced Re…
ARIA TA1.1: Learning-Theoretic AI Safety (Advanced Research and Invention Agen…
ARIA TA1.1: Event Structures as World Models (Advanced Research and Invention …
ARIA TA1.4: Law-following AI (Advanced Research and Invention Agency (ARIA) ->…
ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Rese…
ARIA TA1.1: Modal Types for Quantitative Analysis (Advanced Research and Inven…
ARIA TA1.4: Law-following AI (Advanced Research and Invention Agency (ARIA) ->…
ARIA TA1.4: AI-enabled Governance Models for Advanced AI R&D Organisations (Ad…
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Advanced Research and Invention Agency (ARIA) record
Data from source_check_verdicts table. Click a row to view detailed evidence.