{"id":"W2034395812","doi":"10.1016/j.tcs.2015.01.055","title":"Lemmings is PSPACE-complete","year":2015,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Creatures; Computer science; Mathematical economics; Artificial intelligence; Mathematics; Biology","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":["sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.002072223,0.0002332622,0.0002425919,0.0002298387,0.0003512092,0.0008422631,0.004736062,0.00006180337,0.00007212911],"category_scores_gemma":[0.0002431699,0.0001957027,0.00008012916,0.001635931,0.003994288,0.001268196,0.001952669,0.0002381784,0.001506742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001169778,"about_ca_system_score_gemma":0.0002958766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000174115,"about_ca_topic_score_gemma":9.339637e-7,"domain_scores_codex":[0.9964452,0.00009547208,0.0003529872,0.0009645579,0.001295346,0.0008464017],"domain_scores_gemma":[0.9971799,0.0002145341,0.00008671846,0.001317645,0.000491393,0.0007097795],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004070871,0.00003261594,0.00008961804,0.000001706769,0.000002195452,0.00001413659,0.002594517,0.00008651109,0.0003740742,0.9622325,0.001365488,0.03320253],"study_design_scores_gemma":[0.00007546812,0.0002044371,0.00009525634,0.00001458732,0.000002422832,0.00004762377,0.0000331856,0.5265366,0.01650059,0.4518226,0.004389194,0.0002780986],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01967557,0.00003232592,0.9610923,0.006286326,0.001216764,0.0001471608,0.000001270479,0.0003735164,0.0111748],"genre_scores_gemma":[0.7808797,0.000001495324,0.2164934,0.002374866,0.000187418,0.000004981829,1.948439e-7,0.00000862422,0.00004928054],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7612042,"threshold_uncertainty_score":0.9992707,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05312825676127521,"score_gpt":0.3030337869811439,"score_spread":0.2499055302198687,"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."}}