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
Shane Legg at Google DeepMind (Co-founder & Chief AGI Scientist)
John Jumper at Google DeepMind (Principal Research Scientist; AlphaFold lead)
John Jumper at Google DeepMind (Principal Research Scientist; Nobel Laureate)
Allan Dafoe at Google DeepMind (President of AI Safety & Head of Long-term AI …
Noam Shazeer at Google DeepMind (VP of Research)
Koray Kavukcuoglu at Google DeepMind (VP of Research)
Anca Dragan at Google DeepMind (Research Director)
Anca Dragan at Google DeepMind (Director, AI Safety and Alignment Research)
Nova DasSarma at Google DeepMind (Research Scientist)
Allan Dafoe at Google DeepMind (VP of AI Policy)
Neel Nanda at Google DeepMind (Mechanistic Interpretability Team Lead)
Victoria Krakovna at Google DeepMind (Research Scientist; Specification Gaming)
ARIA TA1.1: String Diagrammatic Probabilistic Logic (Advanced Research and Inv…
ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Res…
ARIA TA1.4: Deliberative AI Specifications and Infrastructure (Advanced Resear…
ARIA TA1.2: TA1.2 Technical Coordinator (Advanced Research and Invention Agenc…
ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets (Advanced Research …
ARIA TA2: SHIELD: Safeguarding High-Impact AI for Enhanced Manufacturing (Adva…
ARIA TA2: Recursive Safeguarding (Advanced Research and Invention Agency (ARIA…
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 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 …
Data from source_check_verdicts table. Click a row to view detailed evidence.