{"id":"W4386211456","doi":"10.4204/eptcs.385.40","title":"Proceedings 39th International Conference on Logic Programming","year":2023,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Ministerio de Ciencia e Innovación","keywords":"Computer science; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003982043,0.00149607,0.001608548,0.001812686,0.00136411,0.00919012,0.002550954,0.0020686,0.07799158],"category_scores_gemma":[0.006393171,0.0007803407,0.002365135,0.00205201,0.002459508,0.006948858,0.003762802,0.005891655,0.02434958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002766581,"about_ca_system_score_gemma":0.002911139,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002160616,"about_ca_topic_score_gemma":0.001878979,"domain_scores_codex":[0.9974732,0.0007010564,0.0003031644,0.0006041775,0.0007512484,0.000167123],"domain_scores_gemma":[0.9967253,0.001342269,0.0001114756,0.0008381825,0.0007556549,0.0002270667],"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.0002729968,0.0001874268,0.0006690107,0.0007764135,0.0001909059,0.0003166145,0.0004051371,0.003274605,0.002382158,0.3149497,0.2414258,0.4351493],"study_design_scores_gemma":[0.0000345427,0.00004154761,0.000345733,0.0004048436,0.00005481941,0.0003346705,0.0001197798,0.008405676,0.0008689513,0.1553877,0.8339743,0.00002744323],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006123781,0.07318819,0.5463569,0.02016679,0.01817578,0.0004131379,0.002728987,0.006673923,0.3261726],"genre_scores_gemma":[0.08158865,0.05038134,0.4561251,0.007341962,0.008233224,0.001012423,0.009892001,0.00403484,0.3813904],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.07799158,"threshold_uncertainty_score":0.2609078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01676818825941518,"score_gpt":0.2752422237685466,"score_spread":0.2584740355091314,"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."}}