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
8,564
70% of checked
Has Issues
2,443
20% of checked
Can't Verify
1,187
10% of checkedincl. 38 dead links
Not Yet Checked
0
of 12,194 total
Contradicted
381
Fix now — data may be wrong
Outdated
22
Source has newer info
Accuracy Rate
96%
confirmed / (confirmed + wrong + outdated)
Needs Recheck
0
All up to date
National Association of Community and Restorative Justice — Restorative Justic…
ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Inven…
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.1: Computational Mechanics Approach to World Models (Advanced Researc…
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…
Feynman Prize 2001 — Theory (Foresight Institute -> Mark A. Ratner)
Feynman Prize 2012 — Theory (Foresight Institute -> David Soloveichik)
Feynman Prize 1993 — Theory (Foresight Institute -> Charles Musgrave)
Feynman Prize 2013 — Theory (Foresight Institute -> David N. Beratan)
Feynman Prize 2015 — Distinguished Student Award (Foresight Institute -> Chuya…
Feynman Prize 2018 — Distinguished Student Award (Foresight Institute -> Qi Li)
Feynman Prize 2011 — Experiment (Foresight Institute -> Leonhard Grill)
Feynman Prize 2002 — Experiment (Foresight Institute -> Chad Mirkin, Yi Cui)
Feynman Prize 2013 — Distinguished Student Award (Foresight Institute -> Jonat…
Feynman Prize 2017 — Distinguished Student Award (Foresight Institute -> Hai Q…
Feynman Prize 2012 — Distinguished Student Award (Foresight Institute -> David…
Feynman Prize 2008 — Theory (Foresight Institute -> George C. Schatz)
Feynman Prize 2006 — Theory (Foresight Institute -> Erik Winfree, Paul W.K. Ro…
Feynman Prize 2014 — Theory (Foresight Institute -> Amanda S. Barnard)
Feynman Prize 1999 — Theory (Foresight Institute -> William A. Goddard III, Ta…
Feynman Prize 2007 — Distinguished Student Award (Foresight Institute -> Fung …
Feynman Prize 2010 — Experiment (Foresight Institute -> Masakazu Aono)
Feynman Prize 2000 — Experiment (Foresight Institute -> R. Stanley Williams, P…
Feynman Prize 1997 — Theory (Foresight Institute -> Charles Bauschlicher, Step…
Feynman Prize 2013 — Experiment (Foresight Institute -> Alexander K. Zettl)
Feynman Prize 2007 — Experiment (Foresight Institute -> J. Fraser Stoddart)
Feynman Prize 1998 — Theory (Foresight Institute -> Ralph C. Merkle, Stephen W…
Feynman Prize 2024 — Distinguished Student Award (Foresight Institute -> Gabri…
Feynman Prize 1997 — Experiment (Foresight Institute -> James K. Gimzewski, Re…
Feynman Prize 2002 — Theory (Foresight Institute -> Don Brenner)
Feynman Prize 2001 — Experiment (Foresight Institute -> Charles M. Lieber, Jin…
Feynman Prize 1999 — Experiment (Foresight Institute -> Phaedon Avouris, Anita…
Feynman Prize 2011 — Theory (Foresight Institute -> Raymond Astumian)
Data from source_check_verdicts table. Click a row to view detailed evidence.