{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006212895,0.001211656,0.001282814,0.0008505593,0.001706141,0.002617085,0.001493061,0.001657031,0.02830622],"category_scores_gemma":[0.004413703,0.0005351785,0.001154346,0.001200081,0.001296692,0.003835558,0.00219819,0.003653082,0.003843073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001646928,"about_ca_system_score_gemma":0.001392814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002091221,"about_ca_topic_score_gemma":0.003301702,"domain_scores_codex":[0.9992637,0.0001465604,0.00004238126,0.000158636,0.0002052492,0.0001834713],"domain_scores_gemma":[0.997752,0.00141371,0.0001396575,0.0002224126,0.0002668534,0.0002053816],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009992291,0.0004361604,0.001074479,0.001773952,0.0002039978,0.0007644635,0.0006443948,0.05136281,0.007395128,0.7145424,0.09621846,0.1245846],"study_design_scores_gemma":[0.0001495665,0.00005318164,0.0003286811,0.0000556892,0.00003372004,0.0002571883,0.0001161493,0.03425999,0.002524944,0.9447926,0.01740512,0.00002308148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2391552,0.001815678,0.2727399,0.01190318,0.0005635375,0.0005835711,0.007434471,0.004152775,0.4616517],"genre_scores_gemma":[0.817434,0.0009942288,0.06386336,0.002299681,0.0002771753,0.0003962206,0.00711575,0.000539372,0.1070802],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02830622,"threshold_uncertainty_score":0.09469372,"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."}}