{"id":"W2019497371","doi":"10.1016/j.jda.2009.01.002","title":"On the Ehrenfeucht–Mycielski sequence","year":2009,"lang":"pl","type":"article","venue":"Journal of Discrete Algorithms","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Upper and lower bounds; Combinatorics; Ackermann function; Prefix; Mathematics; Sequence (biology); Suffix; Discrete mathematics; Inverse","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.001189806,0.0006352076,0.0008127925,0.002095924,0.0007803381,0.001290556,0.0008059815,0.001474373,0.004395411],"category_scores_gemma":[0.009380712,0.0002941377,0.0003878161,0.00157343,0.001746464,0.002936141,0.001920631,0.002042839,0.00120689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000801718,"about_ca_system_score_gemma":0.0006062218,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009832071,"about_ca_topic_score_gemma":0.0006468315,"domain_scores_codex":[0.9993357,0.0002148171,0.00003699382,0.00008532409,0.0002425294,0.00008456423],"domain_scores_gemma":[0.9978291,0.001291328,0.0001755532,0.0001883303,0.0003504385,0.0001651496],"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.0001372301,0.00002810074,0.0004190852,0.00006063558,0.00001062545,0.0001291555,0.0001530434,0.01643703,0.002365719,0.941818,0.001973151,0.03646836],"study_design_scores_gemma":[0.00003188267,0.00006352022,0.0003994167,0.00004827324,0.00001002622,0.0002878968,0.00006321479,0.1122198,0.001905882,0.8786758,0.006267538,0.00002680742],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.216326,0.00451446,0.7125467,0.003112743,0.0008521652,0.00008322699,0.0003212806,0.0002617694,0.06198166],"genre_scores_gemma":[0.8585702,0.003360583,0.1060105,0.0007239578,0.000633167,0.0001060249,0.0005382587,0.000160332,0.02989709],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004395411,"threshold_uncertainty_score":0.01470417,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03914521642632646,"score_gpt":0.3010556464635271,"score_spread":0.2619104300372007,"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."}}