{"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0030735796,0.00024807648,0.97838336,0.0004922147,0.00006783877,0.00007304225,0.000076422744,0.00019191249,0.017393626],"genre_scores_gemma":[0.17981844,0.00087557023,0.8077499,0.00034822902,0.00010113167,0.0004416728,0.00037405026,0.00026132088,0.0100296745],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9978721,0.00080020656,0.00018125528,0.00022229982,0.00078887935,0.0001351584],"domain_scores_gemma":[0.997244,0.0011953701,0.0002150108,0.00048238118,0.00079759455,0.00006568199],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0039199647,0.00081117114,0.00036845016,0.001420894,0.0010651347,0.0020763455,0.0012559568,0.0011391965,0.004396567],"category_scores_gemma":[0.007735344,0.00074995327,0.0012904371,0.0006686963,0.0038514738,0.002135902,0.0019915588,0.0017632935,0.0014504388],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","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.000004147939,0.000008955695,0.000060350634,0.000055654633,0.0000048920692,0.000092872484,0.00030692454,0.0054863687,0.0012209384,0.98471767,0.0006122247,0.0074291048],"study_design_scores_gemma":[0.000026766847,0.000034173474,0.00008848029,0.0001009292,0.000017923567,0.00018865717,0.00012520778,0.047944974,0.0032050514,0.892488,0.055757664,0.000022173319],"about_ca_topic_score_codex":0.0023024292,"about_ca_topic_score_gemma":0.0019670425,"teacher_disagreement_score":0.004396567,"about_ca_system_score_codex":0.0017869056,"about_ca_system_score_gemma":0.0021456727,"threshold_uncertainty_score":0.020730972},"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":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0394098,0.00012530632,0.9547726,0.00035215393,0.00010903032,0.00020515644,0.000110907946,0.0026280505,0.0022871199],"genre_scores_gemma":[0.6890726,0.000320904,0.3062282,0.00022525742,0.00006726725,0.00043282332,0.00036503834,0.00048026786,0.002807587],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.98727536,0.003292118,0.00092274754,0.00102899,0.0066997036,0.0007811267],"domain_scores_gemma":[0.980172,0.007929967,0.0016097889,0.0064901444,0.003553853,0.0002442279],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0073943324,0.00079102145,0.00072091946,0.00087716867,0.0012890551,0.0035520552,0.0024015573,0.001656734,0.0016390169],"category_scores_gemma":[0.027468104,0.0010802189,0.0015067339,0.00049765065,0.0046680905,0.0046160575,0.0024184678,0.0034087547,0.0004739964],"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.0004724302,0.0002688472,0.006189695,0.0007978554,0.00025400263,0.0018095857,0.0016710775,0.24868855,0.090049975,0.5462434,0.0031569987,0.10039741],"study_design_scores_gemma":[0.00014812077,0.0002959686,0.00068052823,0.00017040956,0.00014851768,0.00055114005,0.00021628801,0.7468139,0.11667494,0.11952029,0.014683091,0.000096832795],"about_ca_topic_score_codex":0.005097743,"about_ca_topic_score_gemma":0.0029467638,"teacher_disagreement_score":0.0073943324,"about_ca_system_score_codex":0.0015808376,"about_ca_system_score_gemma":0.005912736,"threshold_uncertainty_score":0.039105415},"labels":[],"label_agreement":null}]}