{"meta":{"query_hash":"31801503eb2d","filters":{"venue":"Formal Methods"},"cohort_total":2,"direct_labels_cover":0,"predictions_cover":2,"exported":2,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/31801503eb2d","api":"https://metacan.xera.ac/api/v1/cohort?venue=Formal+Methods"},"results":[{"id":"W2409667482","doi":"","title":"FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006Proceedings (Lecture Notes in Computer Science)","year":2006,"lang":"en","type":"article","venue":"Formal Methods","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"","funders":"","keywords":"Formal methods; Computer science; Library science; Software engineering","score_opus":0.013881088106304042,"score_gpt":0.3051471351972607,"score_spread":0.29126604709095666,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2409667482","genre_codex":"methods","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.011220057,0.08394828,0.6780514,0.029473819,0.031817563,0.0007589478,0.0062469784,0.016537255,0.14194568],"genre_scores_gemma":[0.03457497,0.03983145,0.19759326,0.0017349547,0.0037421018,0.00037046653,0.012195633,0.0066930414,0.7032641],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.996216,0.0007012333,0.00021690238,0.0006566928,0.0016925036,0.00051671633],"domain_scores_gemma":[0.99206454,0.0015081017,0.00017607625,0.00086775946,0.0041090073,0.0012744099],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01061349,0.003331849,0.002896891,0.0027303358,0.003197183,0.010628963,0.0034663314,0.0021198743,0.072487995],"category_scores_gemma":[0.0082110325,0.0018278299,0.0014416697,0.003430812,0.003105874,0.0052247974,0.0026173799,0.0055764127,0.023530046],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00029374755,0.00019789366,0.0008512465,0.00045943822,0.00005330494,0.00009561868,0.0007567288,0.0023630634,0.0028640334,0.029622117,0.6321143,0.33032858],"study_design_scores_gemma":[0.00010037416,0.00008236506,0.0017491156,0.0005915746,0.00006969444,0.00023991821,0.0003521204,0.013339446,0.0055647455,0.020130446,0.9577023,0.00007795291],"about_ca_topic_score_codex":0.3072557,"about_ca_topic_score_gemma":0.38941735,"teacher_disagreement_score":0.3072557,"about_ca_system_score_codex":0.015437377,"about_ca_system_score_gemma":0.027065035,"threshold_uncertainty_score":0.6109345},"labels":[],"label_agreement":null},{"id":"W2912543718","doi":"","title":"Proceedings of the 15th international symposium on Formal Methods","year":2008,"lang":"en","type":"article","venue":"Formal Methods","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":26,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Formal methods; Software engineering","score_opus":0.02192956170968645,"score_gpt":0.304588415550939,"score_spread":0.28265885384125256,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2912543718","genre_codex":"methods","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.004780208,0.050993957,0.84347385,0.012262344,0.026868736,0.00025632748,0.00068902184,0.002462151,0.058213368],"genre_scores_gemma":[0.083477505,0.055594906,0.6738093,0.004092612,0.018333614,0.00071071676,0.0051995567,0.003529715,0.15525211],"study_design_codex":"design_other","study_design_gemma":"not_applicable","domain_scores_codex":[0.9927153,0.0030886894,0.00083134236,0.0009821912,0.001963799,0.0004186791],"domain_scores_gemma":[0.98455286,0.00813207,0.00030639677,0.003277137,0.0031106237,0.00062083383],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.016612448,0.0020736835,0.0033518313,0.0021143518,0.0015865823,0.009045424,0.002815198,0.002863551,0.034072638],"category_scores_gemma":[0.01632346,0.0017953807,0.003840726,0.0013961006,0.0036361215,0.00807478,0.0032597804,0.007851779,0.010335241],"study_design_candidate":"not_applicable","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0006198796,0.00048113475,0.0015671748,0.00117531,0.0003766602,0.00025804792,0.0014579284,0.005319029,0.0032575969,0.33521715,0.19608575,0.45418435],"study_design_scores_gemma":[0.0001716019,0.0001496727,0.0009160078,0.0009839872,0.0002060443,0.000496069,0.00020482979,0.020812659,0.002723573,0.23102163,0.74222517,0.00008873796],"about_ca_topic_score_codex":0.0048506847,"about_ca_topic_score_gemma":0.0037942016,"teacher_disagreement_score":0.034072638,"about_ca_system_score_codex":0.0032382556,"about_ca_system_score_gemma":0.004305402,"threshold_uncertainty_score":0.11398435},"labels":[],"label_agreement":null}]}