{"id":"W3202818103","doi":"10.1007/978-3-030-87626-5_3","title":"Quantified Boolean Solving for Achievement Games","year":2021,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Quantifier (linguistics); Theoretical computer science; Existentialism; Representation (politics); String (physics); ENCODE; Propositional calculus; Space (punctuation); Algebra over a field; Artificial intelligence; Mathematics; Programming language; Pure 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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001287486,0.0006276108,0.0006778999,0.0006729999,0.0004192863,0.001171677,0.004229,0.0003416588,0.00003572394],"category_scores_gemma":[0.0003233383,0.0006098722,0.0002859151,0.0005233071,0.0007105558,0.0006538056,0.001857546,0.0006883569,0.00005144299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003465438,"about_ca_system_score_gemma":0.0008032531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002926461,"about_ca_topic_score_gemma":0.0002148336,"domain_scores_codex":[0.994894,0.00003793535,0.0008265064,0.002190878,0.001069678,0.0009809472],"domain_scores_gemma":[0.9959381,0.001068005,0.0003768087,0.001911732,0.0005035252,0.00020185],"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.000006538985,0.00004351851,0.00003487464,0.00005758341,0.00001999941,0.0000627569,0.000986519,0.01527848,0.0007219615,0.1838392,0.00007827657,0.7988703],"study_design_scores_gemma":[0.0001513446,0.0002618603,0.00003776176,0.0007280195,0.00001538357,0.0000355639,0.00000173416,0.6652141,0.03426638,0.2841551,0.01398587,0.001146838],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009507388,0.000851364,0.9909264,0.001693591,0.003534399,0.0006813749,0.000007199404,0.0002090904,0.002001545],"genre_scores_gemma":[0.08874761,0.00009896911,0.9046718,0.002939989,0.001059123,0.00005279834,0.00001349559,0.00008126704,0.002334914],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7977235,"threshold_uncertainty_score":0.9998652,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04473661279791708,"score_gpt":0.292596262105674,"score_spread":0.2478596493077569,"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."}}