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,562
74% of checked
Has Issues
1,363
13% of checked
Can't Verify
1,314
13% of checkedincl. 265 dead links
Not Yet Checked
0
of 10,239 total
Contradicted
141
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
Anca Dragan at Google DeepMind (Research Director)
Nova DasSarma at Google DeepMind (Research Scientist)
Noam Shazeer at Google DeepMind (VP of Research)
Anca Dragan at Google DeepMind (Director, AI Safety and Alignment Research)
Neel Nanda at Google DeepMind (Mechanistic Interpretability Team Lead)
John Jumper at Google DeepMind (Principal Research Scientist; AlphaFold lead)
Allan Dafoe at Google DeepMind (VP of AI Policy)
Pushmeet Kohli at Google DeepMind (VP of Research; Head of AI Safety and Align…
Koray Kavukcuoglu at Google DeepMind (CTO)
Victoria Krakovna at Google DeepMind (Research Scientist; Specification Gaming)
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.2: CatColab: Collaborative modeling, specification, and verification …
ARIA TA1.1: Supermartingale Certificates for Temporal Logic (Advanced Research…
ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Res…
ARIA TA1.3: GAIOS (Advanced Research and Invention Agency (ARIA) -> University…
ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Inven…
ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advan…
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: Unified Automated Reasoning for Randomised Distributed Systems (Ad…
ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification (Advan…
ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML (Adva…
ARIA TA1.4: Privacy-preserving AI Safety Verification (Advanced Research and I…
ARIA TA1.4: Deliberative AI Specifications and Infrastructure (Advanced Resear…
ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories (Advanced Resea…
ARIA TA3: SAGEflex: Safeguarded AI Agents for Grid-Edge Flexibility (Advanced …
ARIA TA2: Recursive Safeguarding (Advanced Research and Invention Agency (ARIA…
ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Rese…
ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verificatio…
ARIA TA2: SHIELD: Safeguarding High-Impact AI for Enhanced Manufacturing (Adva…
ARIA TA1.2: TA1.2 Technical Coordinator (Advanced Research and Invention Agenc…
ARIA TA1.1: Computational Mechanics Approach to World Models (Advanced Researc…
ARIA TA1.2: From string diagrams to GPU optimisation (Advanced Research and In…
ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets (Advanced Research …
ARIA TA1.1: Monoidal Coalgebraic Metrics (Advanced Research and Invention Agen…
ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthes…
ARIA TA1.1: Doubly Categorical Systems Logic (Advanced Research and Invention …
ARIA TA1.4: AI-enabled Governance Models for Advanced AI R&D Organisations (Ad…
ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Inven…
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: Probabilistic Protocol Specification for Distributed Autonomous Pr…
ARIA TA1.1: String Diagrammatic Probabilistic Logic (Advanced Research and Inv…
ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilis…
ARIA TA3: SAILS: Safeguarded AI for Logistics and Supply chain (Advanced Resea…
ARIA TA1.4: Field Building for Better Formal Models of Society (Advanced Resea…
ARIA TA3: Large-Scale Validation of Business Process AI (BPAI) (Advanced Resea…
ARIA TA3: Safeguarded AI for Energy Savings in Radio Access Networks (Advanced…
ARIA TA3: Digital Custodians for Ageing Infrastructure (Advanced Research and …
Data from source_check_verdicts table. Click a row to view detailed evidence.