MétaCan
ENFR
Menu
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.

Export CSVExport JSONAPI query

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.

Search term
Year range
→
Sort
Language
Type
Field
Venue
Mathematical Structures in Computer Science
Topic
Retraction
Abstract
Evidence source
Study design
Label agreement
Label status

Direct Codex and Gemma labels are unvalidated and sparse. Distilled predictions cover the full frame and are also unvalidated. Choose the evidence source explicitly; absence of a direct label is never a negative label.

affaffiliation
fundfunder
venuejournal
aboutaboutness

The four routes compose: require the funder route and exclude affiliation to get the funder-only stratum no affiliation-based frame ever sees.

72 results · 1 filter active ·
Categories
Machine labels · sparse coverage
Evidence
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
72 works in the cohort · of 4,299,418page 1 of 2

Labels cover 0 of 72 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 72 of 72 works in this cohort. Predictions are machine_predicted_unvalidated teacher distillation outputs. Candidate is the union; consensus is the intersection.

affunlabeled
Towards a quantum programming language
2004· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
496
citations
affunlabeled
Quantum weakest preconditions
2006· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
156
citations
afffundunlabeled
Differential categories
2006· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
93
citations
affunlabeled
Free compact 2-categories
2007· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
67
citations
affunlabeled
Introduction to linear bicategories
2000· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
45
citations
affunlabeled
Quantifying opacity
2014· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
44
citations
affunlabeled
Spatiality for formal topologies
2007· article· en· Mathematical Structures in Computer Science· Mathematics
distilled prediction:candidate · noneconsensus · none
38
citations
affunlabeled
Modelling session types using contracts
2014· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
26
citations
affunlabeled
On computability and disintegration
2016· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
19
citations
affunlabeled
Towards a typed Geometry of Interaction
2010· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
17
citations
affunlabeled
The logic of linear functors
2002· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
10
citations
aboutno affunlabeled
Introduction
2000· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
4
citations
afffundunlabeled
Monoidal reverse differential categories
2022· article· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
next →

How this was built: Screen · Findings · About