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
7,840
74% of checked
Has Issues
1,353
13% of checked
Can't Verify
1,394
13% of checkedincl. 276 dead links
Not Yet Checked
0
of 10,587 total
Contradicted
162
Fix now — data may be wrong
Outdated
28
Source has newer info
Accuracy Rate
98%
confirmed / (confirmed + wrong + outdated)
Needs Recheck
0
All up to date
ARIA TA1.4: Law-following AI (Advanced Research and Invention Agency (ARIA) ->…
ARIA TA2: Cognitive Emulation: Our Path to Safeguarded AI (Advanced Research a…
ARIA TA1.3: GAIOS (Advanced Research and Invention Agency (ARIA) -> University…
ARIA TA3: Safeguarded AI-Enabled Biopharmaceutical Manufacturing (Advanced Res…
ARIA TA3: Safeguarded AI-Enabled Biopharmaceutical Manufacturing (Advanced Res…
ARIA TA1.1: Modal Types for Quantitative Analysis (Advanced Research and Inven…
ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Pr…
ARIA TA2: Cognitive Emulation: Our Path to Safeguarded AI (Advanced Research a…
ARIA TA3: Large-Scale Validation of Business Process AI (BPAI) (Advanced Resea…
ARIA TA1.1: Learning-Theoretic AI Safety (Advanced Research and Invention Agen…
ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilis…
ARIA TA1.1: Computational Mechanics Approach to World Models (Advanced Researc…
ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthes…
ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verificatio…
ARIA TA2: SHIELD: Safeguarding High-Impact AI for Enhanced Manufacturing (Adva…
ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Rese…
ARIA TA3: SAGEflex: Safeguarded AI Agents for Grid-Edge Flexibility (Advanced …
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.4: Privacy-preserving AI Safety Verification (Advanced Research and I…
ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Inven…
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.1: Doubly Categorical Systems Logic (Advanced Research and Invention …
ARIA TA1.1: True Categorical Programming for Composable Systems (Advanced Rese…
ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advan…
ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator)…
ARIA TA3: SAINTES: Safe and scalable AI decision support for Energy Systems (A…
ARIA TA1.1: Employing Categorical Probability Towards Safe AI (Advanced Resear…
ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Res…
ARIA TA1.1: Supermartingale Certificates for Temporal Logic (Advanced Research…
ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification …
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: Event Structures as World Models (Advanced Research and Invention …
ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Rese…
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
Data from source_check_verdicts table. Click a row to view detailed evidence.