{"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":"c3650ef899f0","filters":{"venue":"International Conference on Computational Intelligence"}},"results":[{"id":"W92682349","doi":"","title":"A New Branch and Bound Method for Incremental Satisfiability Problem.","year":2004,"lang":"en","type":"article","venue":"International Conference on Computational Intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Regina","funders":"","keywords":"Branch and bound; Satisfiability; Boolean satisfiability problem; Scheduling (production processes); Conjunctive normal form; Computer science; Routing (electronic design automation); Mathematical optimization; Upper and lower bounds; Theoretical computer science; Mathematics","authors":[{"name":"Malek Mouhoub","is_ca":true},{"name":"Samira Sadaoui","is_ca":true},{"name":"Xinkai Feng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08678413591221729,"gpt":0.3965719329139487,"spread":0.3097877970017314,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007570294,0.0002091988,0.0001770531,0.0001793228,0.0001593151,0.0003920999,0.0009478928,0.0000762699,0.00008011408],"category_scores_gemma":[0.0002395903,0.0002140351,0.00006951121,0.0002165371,0.00009090627,0.0007262385,0.0001895129,0.0001760456,0.00004477045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002257015,"about_ca_system_score_gemma":0.0004102311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001980207,"about_ca_topic_score_gemma":0.00002639363,"domain_scores_codex":[0.9979852,0.00008320021,0.0004774498,0.0006509628,0.0005755836,0.0002275758],"domain_scores_gemma":[0.9984845,0.0003737912,0.0001975491,0.0002611231,0.0005386475,0.0001443853],"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.00003718336,0.00005467821,0.00005690093,0.00001086118,0.00002411996,6.952417e-7,0.0003628343,0.03149872,0.0004345045,0.8268421,0.00005136472,0.140626],"study_design_scores_gemma":[0.0002435811,0.0001712213,0.0009592589,0.00004334907,0.00000319467,0.00002034807,0.00002568303,0.3494074,0.005203458,0.6434487,0.0003061517,0.0001677464],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001584904,0.00002124384,0.9897211,0.004125725,0.0005515874,0.0005187063,0.00002447607,0.0001104286,0.003341884],"genre_scores_gemma":[0.3695343,0.000008350787,0.6298085,0.000430353,0.00006665749,0.00005307279,0.00001978105,0.000006998793,0.00007201003],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3679494,"threshold_uncertainty_score":0.8728099,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W36570737","doi":"10.1093/conphys/coac071","title":"Evaluation Methodology for Rule Scheduling in Active Database Systems.","year":2004,"lang":"en","type":"article","venue":"International Conference on Computational Intelligence","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Computer science; Active database; Database; Scheduling (production processes); Data mining; Mathematical optimization; Mathematics","authors":[{"name":"Rohollah Alesheykh","is_ca":false},{"name":"Ahmad Abdollahzadeh Barfroush","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2827515204642069,"gpt":0.4406739859647228,"spread":0.1579224655005159,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001588036,0.0002014912,0.0002293293,0.0003582685,0.0001068765,0.0001195351,0.0007215724,0.00006992569,0.00004036733],"category_scores_gemma":[0.0009018783,0.0002031985,0.00006199727,0.0002718588,0.00007418392,0.001019103,0.0001577621,0.0001956564,0.00007059109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004430973,"about_ca_system_score_gemma":0.0006033883,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002091323,"about_ca_topic_score_gemma":0.00007247277,"domain_scores_codex":[0.9974681,0.0002170779,0.000537247,0.0006426637,0.000880302,0.0002545741],"domain_scores_gemma":[0.9971335,0.0007108102,0.0002473529,0.0002977297,0.001535147,0.00007547432],"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.00002805235,0.00005046705,0.000006646514,0.000007032232,0.00001769177,0.000003852071,0.0001817043,0.444153,0.0001959061,0.5402381,0.000004397355,0.01511306],"study_design_scores_gemma":[0.0003863915,0.00008016897,0.0001393219,0.0001879185,0.000004991246,0.00002249319,0.0003399565,0.7373942,0.002280948,0.2586535,0.0003193658,0.0001907802],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004377767,0.00008233897,0.9903303,0.001372198,0.001483678,0.0006316327,0.0001711496,0.00006764855,0.001483224],"genre_scores_gemma":[0.5955353,0.00001633424,0.4037204,0.0001582214,0.00009063742,0.0002465658,0.0002019972,0.000007969817,0.00002250508],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5911576,"threshold_uncertainty_score":0.8286193,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}