{"id":"W4377834324","doi":"10.1007/978-3-031-34017-8_2","title":"Improving Search in Go Using Bounded Static Safety","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Bounded function; Static analysis; Set (abstract data type); Greedy algorithm; Algorithm; Mathematics; 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.00115129,0.001138358,0.001278935,0.00114715,0.0009462084,0.001392893,0.002441828,0.001368565,0.01033534],"category_scores_gemma":[0.006331435,0.0004649994,0.001188717,0.001135196,0.00195673,0.004433782,0.004025907,0.002832176,0.001695722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009260724,"about_ca_system_score_gemma":0.00161446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003574095,"about_ca_topic_score_gemma":0.005551809,"domain_scores_codex":[0.9988663,0.0002237538,0.00005259109,0.0001759077,0.000391476,0.0002898828],"domain_scores_gemma":[0.9967387,0.001756937,0.0001371478,0.0009143116,0.0002970004,0.000155815],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001572412,0.0005295093,0.002359394,0.0007046344,0.0001448569,0.0002513528,0.0005403326,0.3366416,0.02713278,0.2650481,0.01492951,0.3501454],"study_design_scores_gemma":[0.00008788061,0.0002029603,0.0003190302,0.00007280842,0.00008521783,0.00007100891,0.0001131436,0.7565279,0.007342403,0.2306015,0.00455431,0.00002186356],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1125542,0.001230662,0.8365839,0.0008932592,0.0002558418,0.0001188679,0.000324897,0.01036731,0.03767112],"genre_scores_gemma":[0.7914907,0.000382973,0.1903983,0.0004405426,0.00008115393,0.00010153,0.0006098672,0.001179902,0.01531504],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01033534,"threshold_uncertainty_score":0.0345751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06005556605165404,"score_gpt":0.3133835597321598,"score_spread":0.2533279936805058,"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."}}