{"meta":{"query_hash":"e7942a4460b8","filters":{"venue":"Software Engineering and 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/e7942a4460b8","api":"https://metacan.xera.ac/api/v1/cohort?venue=Software+Engineering+and+Formal+Methods"},"results":[{"id":"W1491459646","doi":"10.1109/sefm.2004.18","title":"Formal derivation of functional architectural design","year":2004,"lang":"en","type":"article","venue":"Software Engineering and Formal Methods","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Functional requirement; Architectural geometry; Component (thermodynamics); Architectural pattern; Software engineering; Architectural design; Formal specification; Mainstream; Systems engineering; Software design; Programming language; Software; Architecture; Software development; Engineering; Software construction","score_opus":0.0441850217215463,"score_gpt":0.2941300642610514,"score_spread":0.2499450425395051,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1491459646","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.010108261,0.00038881061,0.98805684,0.000026302523,0.00055566017,0.000121073244,0.0000015088636,0.00073744793,0.0000041203725],"genre_scores_gemma":[0.0720648,0.000011895275,0.9278042,0.000018964736,0.00005082321,0.000022686905,0.0000021297383,0.000017408194,0.0000071256404],"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.99879605,0.00007170742,0.0002908098,0.00024823818,0.00017538422,0.000417832],"domain_scores_gemma":[0.9983603,0.0011264497,0.000079570025,0.00027634675,0.000066301225,0.000091035006],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00122552,0.00020624077,0.0002511545,0.0002076553,0.000091700276,0.00003162679,0.00027623057,0.000092911774,0.0000014187676],"category_scores_gemma":[0.0020238915,0.00019302638,0.00006972269,0.00034097407,0.000043952972,0.0010207423,0.00021832217,0.00023145188,9.150493e-7],"study_design_candidate":"simulation_or_modeling","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.000010990189,0.0000072171465,0.000030214986,0.000057303037,0.000017078926,0.0000014479161,0.00029797354,0.8153936,0.0038545863,0.011579323,0.0000010513141,0.16874917],"study_design_scores_gemma":[0.0047372906,0.0018832056,0.10486729,0.0005166739,0.00008835833,0.0014374771,0.000121680445,0.35676423,0.36933497,0.15637487,0.0009861602,0.0028877931],"about_ca_topic_score_codex":0.0000036109727,"about_ca_topic_score_gemma":1.1856635e-7,"teacher_disagreement_score":0.4586294,"about_ca_system_score_codex":0.000046231784,"about_ca_system_score_gemma":0.00004345358,"threshold_uncertainty_score":0.78713876},"labels":[],"label_agreement":null},{"id":"W1514570516","doi":"10.1109/sefm.2004.51","title":"Verification of the WAP transaction layer","year":2004,"lang":"en","type":"article","venue":"Software Engineering and Formal Methods","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Protocol (science); Model checking; Wireless Application Protocol; Database transaction; Deadlock; Layer (electronics); Distributed transaction; Distributed computing; Computer network; Set (abstract data type); Transaction processing; Application layer; Wireless; Database; Operating system; Programming language; Wireless network; Software","score_opus":0.02037612255444688,"score_gpt":0.28895421164344676,"score_spread":0.2685780890889999,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1514570516","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.023114791,0.00017263112,0.97573024,0.00005360068,0.0006321858,0.00010299113,0.000001073662,0.00015607022,0.000036412304],"genre_scores_gemma":[0.20910294,0.000017650142,0.790815,0.000016343552,0.000018948494,0.0000122841175,3.7458736e-7,0.0000066600255,0.000009791062],"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.99928725,0.0000620201,0.00020116376,0.00015573467,0.00012986062,0.00016396909],"domain_scores_gemma":[0.99939257,0.00007123865,0.00007379272,0.00037714545,0.00004474319,0.00004048235],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00090905896,0.000096811746,0.00010882545,0.00006336529,0.00008450978,0.000025423953,0.00032040072,0.000071577655,0.0000011233508],"category_scores_gemma":[0.00029820835,0.00007458362,0.000055681136,0.0003273524,0.000030576783,0.0005771246,0.000049395603,0.00014869178,0.000001018712],"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.000011959729,0.000042584885,0.00026305194,0.00018616859,0.000028443625,2.9566985e-7,0.0023097533,0.047199413,0.045999862,0.20580822,0.0000029248915,0.6981473],"study_design_scores_gemma":[0.0007716979,0.00017435705,0.08702419,0.0001351215,0.000034874356,0.00008088558,0.000054134052,0.13953406,0.7606743,0.006002018,0.0050636153,0.00045078556],"about_ca_topic_score_codex":0.000009229723,"about_ca_topic_score_gemma":1.869795e-7,"teacher_disagreement_score":0.7146744,"about_ca_system_score_codex":0.000034846424,"about_ca_system_score_gemma":0.000024221943,"threshold_uncertainty_score":0.3041432},"labels":[],"label_agreement":null}]}