{"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":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0022803312,0.000088407265,0.9910839,0.00058665214,0.003169826,0.0005224042,0.00003100927,0.0007319699,0.0015055025],"genre_scores_gemma":[0.022043902,0.000010601789,0.9764035,0.000736538,0.0005817098,0.00006740885,0.000020694559,0.000058133628,0.00007752419],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9941095,0.00035739233,0.0010921041,0.0011783938,0.0012826909,0.001979881],"domain_scores_gemma":[0.9971904,0.00069154956,0.00037735642,0.00090028514,0.0005202432,0.00032014743],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00855941,0.0006950259,0.0007072198,0.0009132549,0.00043413375,0.00048763092,0.0032568777,0.00031682078,0.000034797875],"category_scores_gemma":[0.00017935588,0.0006478348,0.00020361131,0.0018811516,0.00021719321,0.004684188,0.0015697979,0.00096910476,0.0000062875993],"study_design_candidate":"design_other","study_design_consensus":null,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000058515412,0.00012938114,0.00068489957,0.000065401,0.00003530209,0.00003191189,0.0004575737,0.045556843,0.0055912007,0.062326446,0.0012861269,0.8837764],"study_design_scores_gemma":[0.0006712064,0.00029355034,0.0032045045,0.000112695874,0.000017309741,0.00013031364,0.000004316589,0.79913384,0.13948116,0.004821688,0.051181562,0.00094785204],"about_ca_topic_score_codex":0.032575816,"about_ca_topic_score_gemma":0.0044847666,"teacher_disagreement_score":0.88282853,"about_ca_system_score_codex":0.0010907693,"about_ca_system_score_gemma":0.0006199057,"threshold_uncertainty_score":0.9995973},"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":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.114112414,0.000058866946,0.77822334,0.00012895532,0.0017746502,0.0002476232,0.000007729467,0.00022606371,0.105220355],"genre_scores_gemma":[0.33092865,0.00007675796,0.668207,0.00006673475,0.00013497286,0.000025267653,0.0000028423308,0.000026997974,0.0005307887],"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.999202,0.000022126254,0.00025375604,0.000111213994,0.00018012337,0.0002307493],"domain_scores_gemma":[0.9996418,0.000058643294,0.000078241384,0.00010085462,0.00007973374,0.000040762246],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006374705,0.00013387893,0.00015149209,0.00006409268,0.0001138454,0.000018068442,0.0003020383,0.00008202927,0.000062307125],"category_scores_gemma":[0.000065066364,0.00009517149,0.00008865035,0.00014664559,0.000037901234,0.00049357995,0.000087761306,0.00018593008,0.0000027281335],"study_design_candidate":"bench_or_experimental","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.00024943094,0.00017234818,0.0025951245,0.00096203375,0.00033384666,0.0000019866766,0.007384037,0.46228513,0.038812753,0.02579873,0.0022135668,0.45919102],"study_design_scores_gemma":[0.00036264275,0.00007825699,0.006208878,0.00005129278,0.000020873522,0.000033285614,0.000058176836,0.18684639,0.7780528,0.00037277798,0.02769998,0.0002146207],"about_ca_topic_score_codex":0.0000034785257,"about_ca_topic_score_gemma":2.0235657e-7,"teacher_disagreement_score":0.73924005,"about_ca_system_score_codex":0.000038525694,"about_ca_system_score_gemma":0.000009136346,"threshold_uncertainty_score":0.3880981},"labels":[],"label_agreement":null}]}