{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002286484,0.0005532028,0.0006252067,0.001669149,0.0003300364,0.0009508393,0.004254091,0.000341704,0.00001998337],"category_scores_gemma":[0.0003129145,0.0005524004,0.0001256265,0.001732618,0.001015163,0.0009297309,0.002635207,0.001323281,0.000186403],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001055597,"about_ca_system_score_gemma":0.001468878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000541552,"about_ca_topic_score_gemma":0.001040779,"domain_scores_codex":[0.9944206,0.00008598469,0.0009406169,0.001908952,0.001442801,0.001201007],"domain_scores_gemma":[0.9965613,0.001198918,0.000269396,0.001517949,0.0002610286,0.00019135],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008074873,0.00002162309,0.0001288274,0.00006352187,0.000006639079,0.0002886486,0.002799701,0.2618851,0.0004200046,0.02208246,0.000003440693,0.712292],"study_design_scores_gemma":[0.00007237569,0.00007114218,0.00005751925,0.0004121244,0.000003004523,0.0000270007,0.000001379082,0.8378426,0.001702268,0.1592206,0.00008131498,0.000508572],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009209679,0.0001089492,0.9946528,0.0004870554,0.002184019,0.0005313177,0.000005096442,0.0002432508,0.0008665193],"genre_scores_gemma":[0.1577057,0.00005607322,0.8393166,0.001177314,0.0005845951,0.00001238516,0.000005312596,0.0001277767,0.001014254],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7117834,"threshold_uncertainty_score":0.9996927,"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."}}