{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002544771,0.0001212158,0.0001881221,0.00002900246,0.0004352698,0.0004375071,0.004005498,0.00005798564,0.00002159099],"category_scores_gemma":[0.0008471555,0.00009613189,0.00008140549,0.00005976503,0.00007922998,0.0005238507,0.001332624,0.000130597,0.0003770514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000140365,"about_ca_system_score_gemma":0.00003130892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002539654,"about_ca_topic_score_gemma":0.000007675787,"domain_scores_codex":[0.99893,0.00005927997,0.0001473085,0.0003738776,0.000183918,0.0003056288],"domain_scores_gemma":[0.9965285,0.0001430324,0.0001450937,0.002997645,0.00003864192,0.0001471068],"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.00000159625,0.00002785965,0.002164273,0.000002754105,0.000009023936,0.00004745602,0.00005149118,0.000001278121,0.001958446,0.00783674,0.01183686,0.9760622],"study_design_scores_gemma":[0.0008869726,0.0002647091,0.09783301,0.00003091528,0.00001358263,0.00004940396,0.0000171818,0.006575669,0.007383277,0.2054867,0.6807463,0.0007123076],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004780089,0.0001761135,0.9541109,0.01855024,0.002444117,0.0001297006,0.000002474732,0.0001952994,0.01961108],"genre_scores_gemma":[0.04840485,0.00007240759,0.9472455,0.001266886,0.0004452219,0.00001184017,5.877718e-7,0.00001015986,0.002542558],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9753499,"threshold_uncertainty_score":0.7443278,"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."}}