The current cohort, streamed from the database: every work column, the machine labels, the provisional scores, and the per-row validation status. Exports are capped at 100,000 rows. Mints a permanent /q/ link for this exact query. The same filters always produce the same link, whoever asks.
Results by year
20002025
Publication date
Categories
Machine labels · sparse coverage
Evidence
Language
Type
Citations
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
974 works in the cohort · of 4,299,418page 9 of 20
Labels cover 2 of 974 works in this cohort. The rest are unlabeled, which is not a negative label: the label table is sparse today and grows as labeling rounds land.
Distilled predictions cover 974 of 974 works in this cohort. Predictions are machine_predicted_unvalidated teacher distillation outputs. Candidate is the union; consensus is the intersection.
2017· book-chapter· fr· Proceedings of the Canadian Society for the History and Philosophy of Mathematics, Société Canadienne d'Histoire et Philosophie des Mathématiques· Mathematics
