{"id":"W4414359746","doi":"10.24963/ijcai.2025/816","title":"Logic Distillation: Learning from Code Function by Function for Decision-making Tasks","year":2025,"lang":"en","type":"article","venue":"","topic":"Advanced Text Analysis Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Function (biology); Variety (cybernetics); Code (set theory); Comprehension; Knowledge base; Base (topology)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001941669,0.0001276474,0.0001633209,0.000145487,0.0002854159,0.0001594917,0.0003078115,0.00008614012,0.00006700097],"category_scores_gemma":[0.0003241346,0.0001146191,0.00009391839,0.0005375103,0.00001881929,0.0005259599,0.0001455327,0.000118397,0.00001667664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008928739,"about_ca_system_score_gemma":0.00002184706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001365146,"about_ca_topic_score_gemma":0.00003419172,"domain_scores_codex":[0.9988698,0.00003631498,0.0002645006,0.0004832073,0.0001798226,0.0001663483],"domain_scores_gemma":[0.9985085,0.0008367403,0.0001228442,0.0003635052,0.0001420133,0.00002640622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009520712,0.00003444551,0.001577127,0.000005739237,0.00006292298,5.045663e-7,0.00003564665,0.004947376,0.001964926,0.1534392,0.01796949,0.8198674],"study_design_scores_gemma":[0.0001692809,0.0001011043,0.002109196,0.0000586203,0.00004545596,2.748954e-7,0.00003595408,0.4718771,0.0006891438,0.4638106,0.06092517,0.0001781816],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006607809,0.0002103778,0.9948306,0.0002482725,0.0002794877,0.0001776786,0.000002500924,0.000763529,0.002826753],"genre_scores_gemma":[0.7638527,0.00000793503,0.2345076,0.0004737448,0.00004153144,0.00003638668,0.00002469943,0.00000594341,0.00104957],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8196893,"threshold_uncertainty_score":0.4674031,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01420241637303915,"score_gpt":0.30295157743381,"score_spread":0.2887491610607709,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}