MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Mathematics, Computing, and Information Processing
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

507 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
507 travaux dans la cohorte · sur 4 299 418page 1 sur 11

Les étiquettes couvrent 1 des 507 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 507 des 507 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le volet Gemma est une étiquette directe du modèle pour chaque travail (titre seulement); le volet Codex est un classifieur distillé et calibré. Le mode candidate est l'union; le consensus est l'intersection.

affnon étiqueté
CS1-LLM: Integrating LLMs into CS1 Instruction
Annapurna Vadaparty, Daniel Zingaro, David H. Smith, Mounika Padala, Christine Alvarado, Jamie Gorson Benario +1 autres
2024· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
63
citations
affnon étiqueté
matplotlib/matplotlib: REL: v3.2.1
Thomas A Caswell, Michael Droettboom, Antony Lee, John Hunter, Eric Firing, David Stansby +24 autres
2020· article· en· Zenodo (CERN European Organization for Nuclear Research)· Computer Science
prédiction machine:candidate · insufficient_payloadconsensus · aucune
53
citations
affsans résuménon étiqueté
The PhonBank Project
Yvan Rose, Brian MacWhinney
2013· book· en· Oxford University Press eBooks· Computer Science
prédiction machine:candidate · insufficient_payloadconsensus · aucune
35
citations
affnon étiqueté
A new mathematics retrieval system
Shahab Kamali, Frank Wm. Tompa
2010· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
29
citations
affsans résuménon étiqueté
A taste of topology
2005· book· en· CERN Document Server (European Organization for Nuclear Research)· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
27
citations
affnon étiqueté
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
2011· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
23
citations
affnon étiqueté
matplotlib/matplotlib: REL: v3.4.2
Thomas A Caswell, Michael Droettboom, Antony Lee, Elliott Sales de Andrade, John Hunter, Tim Hoffmann +24 autres
2021· article· en· Zenodo (CERN European Organization for Nuclear Research)· Computer Science
prédiction machine:candidate · insufficient_payloadconsensus · aucune
21
citations
affsans résuménon étiqueté
A Review of Mathematical Knowledge Management
Jacques Carette, William M. Farmer
2009· review· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
20
citations
affnon étiqueté
Encoding Models for Scholarly Literature
Martin Holmes, Laurent Romary
2011· book-chapter· en· IGI Global eBooks· Computer Science
prédiction machine:candidate · metaresearchconsensus · aucune
19
citations
affsans résuménon étiqueté
Solving 8x8 Hex.
Philip Henderson, Broderick Arneson, Ryan Hayward
2009· article· en· International Joint Conference on Artificial Intelligence· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
17
citations
venueno affnon étiqueté
Mathematics, Language and Translation
Sundar Sarukkai
2002· article· en· Meta Journal des traducteurs· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
15
citations
affnon étiqueté
The Coq Proof Assistant
The Coq Development Team
2018· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
12
citations
aboutno affnon étiqueté
On writing OpenMath content dictionaries
James H. Davenport
2000· article· en· ACM SIGSAM Bulletin· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Another approach to proof: Arguments from physics
Gila Hanna, Hans Niels Jahnke
2002· article· de· Zentralblatt für Didaktik der Mathematik· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Thinking About Discovery Layers
Geoffrey Little
2012· article· en· The Journal of Academic Librarianship· Computer Science
prédiction machine:candidate · scholarly_communicationconsensus · aucune
8
citations
affnon étiqueté
Making XML document markup international
Yijun Yu, Jianguo Lü, John Mylopoulos, Weiwei Sun, Jing-Hao Xue, Erik D’Hollander
2004· article· en· Software Practice and Experience· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
7
citations
affvenuenon étiqueté
Proceedings of the Maple Conference 2021
P. Chin, Robert M. Corless
2022· article· en· Maple Transactions· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
6
citations
affnon étiqueté
Partager Des Modèles Xml : Quel Intérêt ?
Abderrazak Mkadmi, Marc Langlois, Nasreddine Bouhaï
2003· preprint· fr· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
3
citations
fundno affnon étiqueté
Jupyter Book 2 and the MyST Document Stack
2025· article· Proceedings of the Python in Science Conferences· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
2
citations
affnon étiqueté
Diamond road online
Richard Lachman
2008· article· en· Computer Science
prédiction machine:candidate · insufficient_payloadconsensus · insufficient_payload
2
citations

En coulisses: Sélection · Constats · À propos