{"id":"W4392637423","doi":"10.1007/978-3-031-42891-3_4","title":"Polák Theorem","year":2024,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on mathematics and statistics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Lattice (music); Mathematics; Combinatorics; Discrete mathematics; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003225418,0.0005213022,0.0005728059,0.0002298255,0.0001375347,0.0004903229,0.0006685337,0.0002735227,0.0002457137],"category_scores_gemma":[0.0001825205,0.0003913654,0.0001188693,0.00004007782,0.0001485085,0.00004438388,0.0002502949,0.0004184328,0.0003897344],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004216135,"about_ca_system_score_gemma":0.00005649187,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001594784,"about_ca_topic_score_gemma":0.000003301584,"domain_scores_codex":[0.9982364,0.00001507596,0.0004177531,0.0005795921,0.0004576185,0.0002935998],"domain_scores_gemma":[0.996781,0.002006647,0.0002008897,0.0008279881,0.0000552282,0.0001282361],"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.000002155077,0.00001806026,2.55259e-8,0.0003617117,0.0001057944,0.0000834716,0.0002994252,0.000003089948,0.00001351898,0.9322126,0.00698008,0.05992008],"study_design_scores_gemma":[0.00003580455,0.00006575421,6.28465e-7,0.0006424347,0.0001072777,0.00004936097,0.000009430705,0.01804518,0.0001686306,0.9449487,0.03549016,0.0004365972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000003585432,0.001631419,0.5008784,0.0003620286,0.000357118,0.0002169305,0.0005561982,0.0002836151,0.4957107],"genre_scores_gemma":[0.003260711,0.001740105,0.6161623,0.001031677,0.000434786,0.00004299683,0.00003515687,0.0003246091,0.3769677],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.118743,"threshold_uncertainty_score":0.9998538,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01263921902068846,"score_gpt":0.2271310745874744,"score_spread":0.2144918555667859,"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."}}