{"id":"W2076251080","doi":"10.1007/s11047-013-9374-9","title":"Solving the parity problem in one-dimensional cellular automata","year":2013,"lang":"en","type":"article","venue":"Natural Computing","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Theory of computation; Conjecture; Parity (physics); Cellular automaton; Correctness; Mathematics; RADIUS; Existential quantification; Combinatorics; Discrete mathematics; Computer science; Algorithm; Physics","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.0004331422,0.0001326461,0.0001389406,0.00006360465,0.0003466552,0.0003100884,0.001062953,0.00005677827,0.00001335742],"category_scores_gemma":[0.00002964593,0.00009821973,0.00005904919,0.000502263,0.00004275293,0.0003747719,0.0007625445,0.0004501937,0.000211614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005127743,"about_ca_system_score_gemma":0.00004532891,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002607843,"about_ca_topic_score_gemma":0.00001521518,"domain_scores_codex":[0.9985757,0.00008502728,0.0002905834,0.0003724446,0.0003084924,0.0003677068],"domain_scores_gemma":[0.9989909,0.0002383408,0.0001016839,0.00053914,0.00007679824,0.00005315507],"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.000004489995,0.0006828651,0.006375078,0.0001399358,0.00007928471,0.00004221001,0.004034369,0.007744664,0.1982909,0.241999,0.01218227,0.528425],"study_design_scores_gemma":[0.000173867,0.000007280941,0.02040342,0.00003810244,0.00000219203,0.00001188185,0.00001403829,0.9711572,0.002065012,0.005363146,0.0006096186,0.0001542795],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8918076,0.0007718662,0.09610461,0.007780883,0.0004285957,0.0008709482,7.630784e-7,0.0006690183,0.001565685],"genre_scores_gemma":[0.931075,9.067853e-7,0.06837104,0.0003646369,0.00009258995,0.00001327532,0.000006097946,0.000007163023,0.00006923264],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9634125,"threshold_uncertainty_score":0.4005284,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0147556519904048,"score_gpt":0.2299582503591558,"score_spread":0.215202598368751,"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."}}