{"id":"W1554010179","doi":"10.1007/978-3-540-75538-8_10","title":"Automatic Strategy Verification for Hex","year":2007,"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":"Correctness; Computer science; Notation; Programming language; Tree (set theory); Theoretical computer science; Algorithm; Arithmetic; Mathematics","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.001385737,0.0004582735,0.0004380068,0.0008027013,0.0002679344,0.0006240228,0.003563545,0.0003679967,0.00003641411],"category_scores_gemma":[0.0001807041,0.0004405303,0.0001488099,0.0005644338,0.0006825433,0.0006658655,0.0004887448,0.0004992373,0.0001094101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003561653,"about_ca_system_score_gemma":0.0006060041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001954192,"about_ca_topic_score_gemma":0.00009166198,"domain_scores_codex":[0.996247,0.00002021974,0.0007211962,0.00143146,0.0008483105,0.000731844],"domain_scores_gemma":[0.9967589,0.0008492317,0.0003592386,0.001481795,0.0003903079,0.0001604891],"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.00000252347,0.00001712118,0.000005907134,0.00003246194,0.000005044347,0.00001263408,0.0003885672,0.01179789,0.0001325241,0.06385452,0.00002387933,0.9237269],"study_design_scores_gemma":[0.00005086956,0.0001536336,0.00003755218,0.000146153,0.000004722422,0.00001886042,2.795918e-7,0.7052954,0.005856166,0.2865885,0.001436071,0.0004116809],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001011494,0.0002663525,0.9930614,0.0004091929,0.001808231,0.0007442036,0.000004256251,0.0002775546,0.003327637],"genre_scores_gemma":[0.1570307,0.00002703702,0.8404687,0.00113186,0.0007089819,0.00003338641,0.000008262997,0.00005124278,0.0005397633],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9233152,"threshold_uncertainty_score":0.9998047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06068119719418439,"score_gpt":0.3184791371245059,"score_spread":0.2577979399303215,"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."}}