{"id":"W122194113","doi":"10.3233/icg-2007-30202","title":"CHECKING LIFE-AND-DEATH PROBLEMS IN GO I: THE PROGRAM SCANLD1","year":2007,"lang":"en","type":"article","venue":"ICGA Journal","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"","keywords":"Computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.002087532,0.000107303,0.0001200492,0.0001290443,0.0002341038,0.0005341599,0.0008519561,0.00005495574,0.00001285716],"category_scores_gemma":[0.0001329894,0.00007333352,0.00005149441,0.0003729317,0.00007465289,0.0004536151,0.0001811015,0.0005268307,0.0000319554],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006201617,"about_ca_system_score_gemma":0.0001017421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004755474,"about_ca_topic_score_gemma":0.000237273,"domain_scores_codex":[0.9985545,0.00006323957,0.00040789,0.0001928923,0.0003307412,0.0004507605],"domain_scores_gemma":[0.9992182,0.0001476181,0.0001526454,0.0002399353,0.00008102328,0.0001605308],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.000005557107,0.0001177637,0.09401652,0.000007075834,0.00001591727,0.00008408014,0.004959518,0.0006314249,0.0003176221,0.01275293,0.0002281014,0.8868635],"study_design_scores_gemma":[0.0009641972,0.00122895,0.5363727,0.0008201599,0.00003228774,0.004631002,0.004957157,0.1817179,0.01209871,0.1568763,0.09871686,0.001583837],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6259434,0.001769494,0.3633801,0.004401639,0.0009283667,0.0004450994,1.9551e-7,0.0001432511,0.002988452],"genre_scores_gemma":[0.9857994,0.00007775714,0.01341201,0.0003198153,0.0002963435,0.000007478693,5.446174e-8,0.00000833642,0.00007883991],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8852797,"threshold_uncertainty_score":0.5150916,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05807505227314331,"score_gpt":0.3283039106135261,"score_spread":0.2702288583403828,"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."}}