{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":2,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":2,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"e7942a4460b8","filters":{"venue":"Software Engineering and Formal Methods"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Yu-Tong He","is_ca":true},{"name":"Ryszard Janicki","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02037612255444688,"gpt":0.2889542116434468,"spread":0.2685780890889999,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007394332,0.0007910214,0.0007209195,0.0008771687,0.001289055,0.003552055,0.002401557,0.001656734,0.001639017],"category_scores_gemma":[0.0274681,0.001080219,0.001506734,0.0004976506,0.00466809,0.004616058,0.002418468,0.003408755,0.0004739964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001580838,"about_ca_system_score_gemma":0.005912736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005097743,"about_ca_topic_score_gemma":0.002946764,"domain_scores_codex":[0.9872754,0.003292118,0.0009227475,0.00102899,0.006699704,0.0007811267],"domain_scores_gemma":[0.980172,0.007929967,0.001609789,0.006490144,0.003553853,0.0002442279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004724302,0.0002688472,0.006189695,0.0007978554,0.0002540026,0.001809586,0.001671077,0.2486885,0.09004997,0.5462434,0.003156999,0.1003974],"study_design_scores_gemma":[0.0001481208,0.0002959686,0.0006805282,0.0001704096,0.0001485177,0.0005511401,0.000216288,0.7468139,0.1166749,0.1195203,0.01468309,0.00009683279],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0394098,0.0001253063,0.9547726,0.0003521539,0.0001090303,0.0002051564,0.0001109079,0.002628051,0.00228712],"genre_scores_gemma":[0.6890726,0.000320904,0.3062282,0.0002252574,0.00006726725,0.0004328233,0.0003650383,0.0004802679,0.002807587],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007394332,"threshold_uncertainty_score":0.03910542,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Ridha Khédri","is_ca":true},{"name":"Imen Bourguiba","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0441850217215463,"gpt":0.2941300642610514,"spread":0.2499450425395051,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003919965,0.0008111711,0.0003684502,0.001420894,0.001065135,0.002076345,0.001255957,0.001139196,0.004396567],"category_scores_gemma":[0.007735344,0.0007499533,0.001290437,0.0006686963,0.003851474,0.002135902,0.001991559,0.001763294,0.001450439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001786906,"about_ca_system_score_gemma":0.002145673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002302429,"about_ca_topic_score_gemma":0.001967042,"domain_scores_codex":[0.9978721,0.0008002066,0.0001812553,0.0002222998,0.0007888793,0.0001351584],"domain_scores_gemma":[0.997244,0.00119537,0.0002150108,0.0004823812,0.0007975945,0.00006568199],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004147939,0.000008955695,0.00006035063,0.00005565463,0.000004892069,0.00009287248,0.0003069245,0.005486369,0.001220938,0.9847177,0.0006122247,0.007429105],"study_design_scores_gemma":[0.00002676685,0.00003417347,0.00008848029,0.0001009292,0.00001792357,0.0001886572,0.0001252078,0.04794497,0.003205051,0.892488,0.05575766,0.00002217332],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00307358,0.0002480765,0.9783834,0.0004922147,0.00006783877,0.00007304225,0.00007642274,0.0001919125,0.01739363],"genre_scores_gemma":[0.1798184,0.0008755702,0.8077499,0.000348229,0.0001011317,0.0004416728,0.0003740503,0.0002613209,0.01002967],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004396567,"threshold_uncertainty_score":0.02073097,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}