afffundno abstractunlabeled
Simple Type Theory2023· book· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+insufficient_payloadconsensus · none
2
citations
Cohort builder
4,299,418 works, Canadian by any of four routes.
Every filter state is a URL; the URL is the query; the query is citable via /q/⟨hash⟩. The page, the API and the export parse the same parameters.
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
20232025
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.
32 works in the cohort · of 4,299,418page 1 of 1
Labels cover 0 of 32 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 32 of 32 works in this cohort. Predictions are machine_predicted_unvalidated teacher distillation outputs. Candidate is the union; consensus is the intersection.
affno abstractunlabeled
Alonzo Variants2025· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affno abstractunlabeled
Software Support2025· book-chapter· en· Computer science foundations and applied logic· Business, Management and Accounting
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affno abstractunlabeled
Developments2023· book-chapter· en· Computer science foundations and applied logic· Mathematics
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Answers to Readers’ Questions2025· book-chapter· en· Computer science foundations and applied logic· Engineering
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affno abstractunlabeled
Introduction2023· book-chapter· en· Computer science foundations and applied logic· Arts and Humanities
distilled prediction:candidate · sts+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Preliminary Concepts2025· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affno abstractunlabeled
Introduction2025· book-chapter· en· Computer science foundations and applied logic· Arts and Humanities
distilled prediction:candidate · sts+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Semantics2025· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affno abstractunlabeled
Preliminary Concepts2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Additional Notation2025· book-chapter· en· Computer science foundations and applied logic· Mathematics
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Theories2025· book-chapter· en· Computer science foundations and applied logic· Mathematics
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Answers to Readers’ Questions2023· book-chapter· en· Computer science foundations and applied logic· Engineering
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affno abstractunlabeled
Beta-Reduction and Substitution2023· book-chapter· en· Computer science foundations and applied logic· Physics and Astronomy
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Morphisms2023· book-chapter· en· Computer science foundations and applied logic· Social Sciences
distilled prediction:candidate · stsconsensus · none
0
citations
affno abstractunlabeled
Inductive Sets and Types2025· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affno abstractunlabeled
Syntax2023· book-chapter· en· Computer science foundations and applied logic· Arts and Humanities
distilled prediction:candidate · scholarly_communication+insufficient_payloadconsensus · insufficient_payload
0
citations
affno abstractunlabeled
Syntax2025· book-chapter· en· Computer science foundations and applied logic· Arts and Humanities
distilled prediction:candidate · scholarly_communication+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Morphisms2025· book-chapter· en· Computer science foundations and applied logic· Social Sciences
distilled prediction:candidate · stsconsensus · none
0
citations
affno abstractunlabeled
Proof Systems2025· book-chapter· en· Computer science foundations and applied logic· Mathematics
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Sequences2025· book-chapter· en· Computer science foundations and applied logic· Mathematics
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Beta-Reduction and Substitution2025· book-chapter· en· Computer science foundations and applied logic· Nursing
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Additional Notation2023· book-chapter· en· Computer science foundations and applied logic· Mathematics
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affno abstractunlabeled
Sequences2023· book-chapter· en· Computer science foundations and applied logic· Mathematics
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Theories2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affno abstractunlabeled
Real Number Mathematics2025· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affno abstractunlabeled
Developments2025· book-chapter· en· Computer science foundations and applied logic· Social Sciences
distilled prediction:candidate · stsconsensus · none
0
citations
affno abstractunlabeled
Software Support2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Real Number Mathematics2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Alonzo Variants2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Proof Systems2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affno abstractunlabeled
Semantics2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations