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
5,102
87% of checked
Has Issues
613
10% of checked
Can't Verify
139
2% of checkedincl. 76 dead links
Not Yet Checked
19
of 5,873 total
Contradicted
5
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.2: Data-Parallel Proof Checking for Monoidal Theories (Advanced Resea…
ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML (Adva…
ARIA TA3: SAFER-ADS: Safety Assurance of Frontier AI for Automated Driving (Ad…
ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems (Ad…
ARIA TA3: Safeguarded AI-Enabled Biopharmaceutical Manufacturing (Advanced Res…
ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advan…
ARIA TA1.4: Privacy-preserving AI Safety Verification (Advanced Research and I…
ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML (Adva…
ARIA TA1.1: Supermartingale Certificates for Temporal Logic (Advanced Research…
ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems (Ad…
ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories (Advanced Resea…
ARIA TA1.1: Learning-Theoretic AI Safety (Advanced Research and Invention Agen…
ARIA TA2: Cognitive Emulation: Our Path to Safeguarded AI (Advanced Research a…
ARIA TA1.1: SAINT: Safe AI ageNTs (Advanced Research and Invention Agency (ARI…
ARIA TA1.1: Supermartingale Certificates for Temporal Logic (Advanced Research…
ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advan…
ARIA TA2: Cognitive Emulation: Our Path to Safeguarded AI (Advanced Research a…
ARIA TA1.1: SAINT: Safe AI ageNTs (Advanced Research and Invention Agency (ARI…
ARIA TA1.3: GAIOS (Advanced Research and Invention Agency (ARIA) -> University…
ARIA TA3: SAFER-ADS: Safety Assurance of Frontier AI for Automated Driving (Ad…
ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Inven…
ARIA TA1.1: Computational Mechanics Approach to World Models (Advanced Researc…
ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Pr…
ARIA TA1.1: Employing Categorical Probability Towards Safe AI (Advanced Resear…
ARIA TA1.1: Event Structures as World Models (Advanced Research and Invention …
ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator)…
ARIA TA1.1: True Categorical Programming for Composable Systems (Advanced Rese…
ARIA TA1.1: Safety: Core representation underlying safeguarded AI (Advanced Re…
ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilis…
ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Inven…
ARIA TA1.1: Doubly Categorical Systems Logic (Advanced Research and Invention …
ARIA TA1.2: From string diagrams to GPU optimisation (Advanced Research and In…
ARIA TA1.1: Modal Types for Quantitative Analysis (Advanced Research and Inven…
ARIA TA3: SAILS: Safeguarded AI for Logistics and Supply chain (Advanced Resea…
ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthes…
ARIA TA3: Digital Custodians for Ageing Infrastructure (Advanced Research and …
ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification …
ARIA TA1.1: Monoidal Coalgebraic Metrics (Advanced Research and Invention Agen…
ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Compu…
ARIA TA1.4: Field Building for Better Formal Models of Society (Advanced Resea…
ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verificatio…
ARIA TA3: SAGEflex: Safeguarded AI Agents for Grid-Edge Flexibility (Advanced …
ARIA TA3: Large-Scale Validation of Business Process AI (BPAI) (Advanced Resea…
ARIA TA1.4: Field Building for Better Formal Models of Society (Advanced Resea…
ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verificatio…
ARIA TA3: SAILS: Safeguarded AI for Logistics and Supply chain (Advanced Resea…
ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Pr…
ARIA TA1.1: String Diagrammatic Probabilistic Logic (Advanced Research and Inv…
ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Rese…
ARIA TA1.2: TA1.2 Technical Coordinator (Advanced Research and Invention Agenc…
Data from source_check_verdicts table. Click a row to view detailed evidence.