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
Author
Year range
→
Sort
Language
Type
Field
Venue
Topic
Logic, programming, and type systems
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.

928 results · 1 filter active ·
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.
928 works in the cohort · of 4,299,418page 14 of 19

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

affno abstractunlabeled
Perl
Reda Alhajj, Jon Rokne
2018· book-chapter· en· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · insufficient_payload
0
citations
affunlabeled
Tabular Verification and Refinement
Emil Sekerinski
2002· article· en· Electronic Notes in Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Multicodes
Ben Stephenson, Wade Holst
2003· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
venueno affno abstractunlabeled
Adventures in Proofreading
James H. Edgar
2004· article· en· Journal of the Royal Astronomical Society of Canada· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
PROLOG
Bernie Garrett
2009· book-chapter· en· IGI Global eBooks· Computer Science
distilled prediction:candidate · metaepi_narrow+insufficient_payloadconsensus · none
0
citations
affunlabeled
Data flow refinement type inference
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
2021· preprint· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+open_scienceconsensus · open_science
0
citations
affunlabeled
Semantics Column
Prakash Panangaden
2024· article· en· ACM SIGLOG News· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
Qualified Types with Boolean Algebras
Edward Lee, Jonathan Lindegaard Starup, Ondřej Lhoták, Magnus Madsen
2025· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
venueno affunlabeled
Principia’s Second Edition
Russell Wahl
2013· article· en· Russell the Journal of Bertrand Russell Studies· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Is Impredicativity Implicitly Implicit
Stefan Monnier, Nathaniel Bos
2020· article· en· DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affunlabeled
A cubical Squier’s theorem
Maxime Lucas
2020· preprint· en· Mathematical Structures in Computer Science· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+open_scienceconsensus · open_science
0
citations
affunlabeled
Women in Logic 2018 workshop report
Mihaela Rozman, Valeria de Paiva, Amy Felty, Ursula Martin
2019· article· en· ACM SIGLOG News· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
Sums of uncertainty: refinements go gradual
Khurram A. Jafery
2017· preprint· en· ACM SIGPLAN Notices· Computer Science
distilled prediction:candidate · metaepi_narrow+open_scienceconsensus · none
0
citations
fundno affunlabeled
Yokel: Extensible, Large-Scale Methodologies
Edgard Perindans
2017· article· en· Robotics & Automation Engineering Journal· Computer Science
distilled prediction:candidate · scholarly_communicationconsensus · none
0
citations
affunlabeled
The 2017 Alonzo Church award
Prakash Panangaden
2017· article· en· ACM SIGLOG News· Computer Science
distilled prediction:candidate · sts+scholarly_communication+open_science+insufficient_payloadconsensus · none
0
citations
affunlabeled
Safe Incremental Type Checking
Matthias Puech, Yann Régis-Gianas
2012· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
affunlabeled
Encoding Proofs in Dedukti: the case of Coq proofs
Ali Assaf, Gilles Dowek, Jean-Pierre Jouannaud, Jiaxiang Liu
2016· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
afffundunlabeled
Initializing Global Objects: Time and Order
Fengyun Liu, Ondřej Lhoták, David Hua, Enze Xing
2023· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Semantics Column
Prakash Panangaden
2025· article· en· ACM SIGLOG News· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Semantics column
Michael Mislove, Prakash Panangaden
2016· article· en· ACM SIGLOG News· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
The main acyclic models theorem
Michael Barr
2002· book-chapter· en· CRM monograph series· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
afffundunlabeled
UPPER BOUNDS ON POLYNOMIAL ROOT SEPARATION
Greg Knapp, Chi Hoi Yip
2025· article· en· Bulletin of the Australian Mathematical Society· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Parallel Algebraic Effect Handlers
Ningning Xie, Daniel Johnson, Dougal Maclaurin, Adam Paszke
2024· article· en· Proceedings of the ACM on Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Alonzo Variants
William M. Farmer
2025· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
← previousnext →

How this was built: Screen · Findings · About