{"id":"W2741584520","doi":"10.1145/3129173.3129176","title":"2017 Kleene award","year":2017,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Constructive; Presentation (obstetrics); Completeness (order theory); Computer science; Kleene's recursion theorem; Kleene algebra; Calculus (dental); Mathematics; Programming language; Discrete mathematics; Algorithm; Medicine","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.007231589,0.001525063,0.001755227,0.003479796,0.004434228,0.0146351,0.002313085,0.004444093,0.3042807],"category_scores_gemma":[0.01701837,0.0006567436,0.001812829,0.00258746,0.002133745,0.009502394,0.008304544,0.007321693,0.275428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008217745,"about_ca_system_score_gemma":0.009973371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002959765,"about_ca_topic_score_gemma":0.006415771,"domain_scores_codex":[0.9919553,0.0008115547,0.0004129047,0.0008241313,0.004644569,0.001351581],"domain_scores_gemma":[0.9821738,0.001170902,0.0003951341,0.001067222,0.008799707,0.006393232],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006723694,0.00004345525,0.0001060551,0.0001080677,0.000009487766,0.00009618286,0.00004442907,0.0002313661,0.0002236871,0.04708305,0.9134175,0.03856951],"study_design_scores_gemma":[0.000009820046,0.00002031718,0.0001111416,0.00008366238,0.00000469411,0.0000720113,0.00004956033,0.0001716863,0.0002526585,0.01151598,0.9876933,0.00001525121],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00256007,0.009020469,0.01624245,0.106919,0.1003379,0.00025376,0.004148626,0.002705135,0.7578126],"genre_scores_gemma":[0.01598128,0.007889926,0.005118227,0.009038172,0.01450579,0.0001720408,0.004532357,0.001872372,0.9408898],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.3042807,"threshold_uncertainty_score":0.9923591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06795900448942767,"score_gpt":0.3532362460411129,"score_spread":0.2852772415516852,"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."}}