{"id":"W2165290874","doi":"10.1016/j.ins.2004.04.012","title":"A solution to the GHI problem for depth-first proof-number search","year":2004,"lang":"en","type":"article","venue":"Information Sciences","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Computer science; Graph; Overhead (engineering); Mathematical optimization; Theoretical computer science; Algorithm; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001509997,0.00008758104,0.00007031689,0.0001224375,0.0009253377,0.0008242933,0.001428161,0.00003525357,0.000008227753],"category_scores_gemma":[0.0001822446,0.00005712953,0.00004374377,0.001208555,0.0001906461,0.003926824,0.0002062455,0.00006784721,0.0008894949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008294764,"about_ca_system_score_gemma":0.0002911152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002348119,"about_ca_topic_score_gemma":0.0004656527,"domain_scores_codex":[0.9985079,0.00001861059,0.0003315882,0.00017671,0.0006071384,0.0003580746],"domain_scores_gemma":[0.9991804,0.0001113412,0.00009344448,0.0002629571,0.0002766691,0.00007524077],"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.000009794565,0.0000405696,0.0008915764,0.00002907724,0.000005770006,2.523528e-7,0.04361056,0.1748632,0.00006188124,0.337402,0.004095155,0.4389901],"study_design_scores_gemma":[0.000349186,0.0007296257,0.002998715,0.0001536712,0.000005534229,0.00005786909,0.005304867,0.5400139,0.0777914,0.1068862,0.2650063,0.0007028013],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0086197,0.000007020004,0.9556311,0.02745753,0.0003447185,0.0008537747,0.000002143441,0.00008916177,0.006994826],"genre_scores_gemma":[0.8973266,0.000001889349,0.1010186,0.001343292,0.00006661919,0.0001887348,0.000001128098,0.000001976252,0.00005123439],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8887069,"threshold_uncertainty_score":0.9998884,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0752782254553735,"score_gpt":0.3466680044141113,"score_spread":0.2713897789587378,"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."}}