{"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":"7e34ed021188","filters":{"venue":"IEE Proceedings - Software"}},"results":[{"id":"W2087145202","doi":"10.1049/ip-sen:20050012","title":"Metarule-guided association rule mining for program understanding","year":2005,"lang":"en","type":"article","venue":"IEE Proceedings - Software","topic":"Software Engineering Research","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Russian Science Foundation; University of Victoria","keywords":"Association rule learning; Computer science; Source code; Documentation; Association (psychology); Software system; Legacy system; Software; Software evolution; Data mining; Software engineering; Process (computing); Software maintenance; Unavailability; Software construction; Programming language; Reliability engineering; Engineering","authors":[{"name":"Onaiza Maqbool","is_ca":false},{"name":"H.A. Babri","is_ca":false},{"name":"Asim Karim","is_ca":false},{"name":"Muhammad Imran Sarwar","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0613444432608584,"gpt":0.3121558674430652,"spread":0.2508114241822068,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001127365,0.0002621213,0.0002878379,0.0002997677,0.0003171595,0.0007209835,0.0007929197,0.0001902459,0.00001365063],"category_scores_gemma":[0.004652943,0.0002763244,0.0001510659,0.000804584,0.00002560495,0.001357612,0.000223673,0.000252517,0.00003952934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001454731,"about_ca_system_score_gemma":0.0001109117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004955564,"about_ca_topic_score_gemma":0.00000212583,"domain_scores_codex":[0.9972966,0.00000903623,0.000367557,0.0006446381,0.0007919742,0.000890143],"domain_scores_gemma":[0.9979778,0.0008919099,0.0001980555,0.0002216807,0.0005100939,0.0002004882],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007103856,0.000816884,0.3579734,0.001404264,0.000828752,0.00001883767,0.01285052,0.00144264,0.002552187,0.03776905,0.264564,0.3197085],"study_design_scores_gemma":[0.01271604,0.002564737,0.06134349,0.001400041,0.0004365513,0.0003318951,0.002010527,0.4124511,0.054881,0.05214042,0.3924111,0.007313001],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09745729,0.0002603341,0.8924658,0.002467823,0.0006045615,0.001432392,0.00001081791,0.004837957,0.0004630458],"genre_scores_gemma":[0.3337842,0.000008614223,0.6638951,0.000160632,0.000451065,0.0005123001,0.000006626421,0.00005861768,0.001122813],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4110085,"threshold_uncertainty_score":0.9999689,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2122279036","doi":"10.1049/ip-sen:20000681","title":"The logic of software design","year":2000,"lang":"en","type":"article","venue":"IEE Proceedings - Software","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Computer science; Software engineering; Programming language; Software; Mathematical proof; Mathematics","authors":[{"name":"Jonathan S. Ostroff","is_ca":true},{"name":"Richard F. Paige","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03527924645339317,"gpt":0.2732307429936452,"spread":0.237951496540252,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001042784,0.0001813604,0.00018391,0.00006452482,0.0003509513,0.000197605,0.001781248,0.0001097659,0.00004617008],"category_scores_gemma":[0.001006812,0.0001314996,0.0000813815,0.0006443513,0.0001677084,0.0007884452,0.0001279518,0.0001990362,0.0001122451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005166173,"about_ca_system_score_gemma":0.00006792173,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005904631,"about_ca_topic_score_gemma":2.509844e-7,"domain_scores_codex":[0.9983838,0.00003679655,0.0003734427,0.000389944,0.0004324506,0.0003835926],"domain_scores_gemma":[0.9986994,0.0002743188,0.0002057918,0.0004005762,0.0003358767,0.00008403658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005837211,0.00007604224,0.001926987,0.00009574748,0.0000278518,0.000002245672,0.001766889,0.0002141007,0.0005830031,0.0571566,0.005765693,0.9323265],"study_design_scores_gemma":[0.002091746,0.002161611,0.03882232,0.0005835037,0.0001117908,0.0003847133,0.0005066431,0.05502806,0.162629,0.6021168,0.1328799,0.002683819],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006555084,0.0003867002,0.9906334,0.0002654853,0.0002601109,0.0003546642,0.000002156056,0.000614144,0.0009282489],"genre_scores_gemma":[0.02905879,0.00010435,0.9696876,0.0002126565,0.00006657789,0.00006835899,6.160037e-7,0.00001854747,0.0007825513],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9296427,"threshold_uncertainty_score":0.5362396,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}