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

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
Formal Methods in Verification
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.

1,244 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.
1,244 works in the cohort · of 4,299,418page 17 of 25

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

affno abstractunlabeled
Approximating the safely reusable set of learned facts
Domagoj Babić, Alan J. Hu
2009· article· en· International Journal on Software Tools for Technology Transfer· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
afffundunlabeled
A new logic synthesis, exorbds
K. Muma, Seok‐Bum Ko
2006· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affno abstractunlabeled
Automata Implementation
Oliver Boldt
2001· book· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
2
citations
affunlabeled
Model-based WCET Analysis with Invariants
Bojan Nokovic, Emil Sekerinski
2015· article· en· Technische Universität Berlin – Universitätsbibliothek· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
2
citations
affunlabeled
Reachability Problems in Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard Trefler
2012· article· en· ACM Transactions on Computational Logic· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affunlabeled
Some succinctness properties of Ω-DTAFA
Abdelaziz Fellah, Soufiane Noureddine
2006· article· en· International Conference on Software Engineering· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affunlabeled
Verifying a self-timed divider
Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet
2002· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affunlabeled
Modeling Security Protocols using UML2.
Alain Beaulieu, Greg Phillips, Sandra Smith
2008· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
afffundunlabeled
Dependency-Free Capture Tracking
Edward Lee, Kavin Satheeskumar, Ondřej Lhoták
2023· article· en· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affno abstractunlabeled
A Denotational Semantics for Handel-C
Andrew Butterfield
2007· article· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affunlabeled
Integration of supercubing and learning in a SAT solver
D. Babic, A.J. Hu
2005· article· en· Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005.· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
fundno affunlabeled
Well Behaved Transition Systems
Michael Blondin, Alain Finkel, Pierre McKenzie
2017· preprint· en· Logical Methods in Computer Science· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+open_scienceconsensus · none
2
citations
afffundunlabeled
On the Power and Limitations of Branch and Cut
Noah Fleming, Mika Göös, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan +1 more
2021· preprint· en· DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
2
citations
affunlabeled
Extending ACL2 with SMT Solvers
Yan Peng, Mark R. Greenstreet
2015· article· en· arXiv (Cornell University)· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affno abstractunlabeled
Faster Phylogenetic Inference with MXG
David G. M. Mitchell, Faraz Hach, Raheleh Mohebali
2007· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
2
citations
affunlabeled
Semipullbacks of labelled Markov processes
Jan Pachl, Pedro Sánchez Terraf
2021· article· en· Logical Methods in Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affno abstractunlabeled
A Mathematical Approach to RTL Verification
David M. Russinoff
2007· book-chapter· en· Lecture notes in computer science· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
2
citations
affunlabeled
Strategy Synthesis for Linear Arithmetic Games
Azadeh Farzan, Zachary Kincaid
2018· article· en· Symposium on Principles of Programming Languages· Computer Science
distilled prediction:candidate · noneconsensus · none
2
citations
affunlabeled
jpf-logic
Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, Franck van Breugel
2023· article· en· ACM SIGSOFT Software Engineering Notes· Computer Science
distilled prediction:candidate · metaresearch+insufficient_payloadconsensus · none
2
citations

How this was built: Screen · Findings · About