{"id":"W4401023665","doi":"10.24963/ijcai.2024/816","title":"Logic Distillation: Learning from Code Function by Function for Decision-making Tasks","year":2024,"lang":"en","type":"article","venue":"","topic":"Water Quality Monitoring Technologies","field":"Environmental Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Benchmarking; Aquaculture; Fish <Actinopterygii>; Metric (unit); Fishery; Computer science; Artificial intelligence; Biology; Engineering; Business","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002271809,0.0001154722,0.00008992619,0.00003429223,0.0001853788,0.0001396784,0.0001259464,0.0001160843,0.001157817],"category_scores_gemma":[0.0002477605,0.00009450994,0.00005089284,0.0001806969,0.00006304862,0.0002772374,0.0001430424,0.00014592,0.0005665057],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001904284,"about_ca_system_score_gemma":0.000002986849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001161548,"about_ca_topic_score_gemma":0.00002918185,"domain_scores_codex":[0.9989874,0.00002444279,0.0001833996,0.0004025506,0.0002233493,0.0001788919],"domain_scores_gemma":[0.9992108,0.0005456728,0.00003639178,0.0001771185,0.000005986601,0.00002406681],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002925083,0.0000527665,0.04104466,0.00003122157,0.00007108311,0.000004431064,0.0002892083,0.02289514,0.03480154,0.003077737,0.1181369,0.7793028],"study_design_scores_gemma":[0.0002737848,0.0005284626,0.05517311,0.0002190599,0.0001097507,0.00000309478,0.0007581735,0.08701822,0.004985168,0.3288371,0.5214527,0.0006414001],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1958664,0.000161089,0.8000748,0.0004178838,0.001012477,0.0001651706,0.00001476012,0.001095021,0.001192376],"genre_scores_gemma":[0.9878395,0.000007208784,0.01073188,0.00005090231,0.000123182,0.00003455565,0.00003520989,0.00001661509,0.001160901],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7919732,"threshold_uncertainty_score":0.9997553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03402979158785458,"score_gpt":0.2855258479389129,"score_spread":0.2514960563510583,"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."}}