{"id":"W6910534332","doi":"10.48550/arxiv.1308.4368","title":"Maximally Atomic Languages","year":2013,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Quotient; Regular language; Semigroup; Class (philosophy); Rank (graph theory); Transitive relation; Upper and lower bounds","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.0009941719,0.0004011568,0.0005755589,0.0009359894,0.001197566,0.002488082,0.001001235,0.000594822,0.005496208],"category_scores_gemma":[0.004592771,0.0004843858,0.0009757617,0.0005790938,0.002321506,0.0042458,0.001985278,0.001081119,0.0008041622],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009689342,"about_ca_system_score_gemma":0.0009193943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006338333,"about_ca_topic_score_gemma":0.0006805349,"domain_scores_codex":[0.9978192,0.0004467008,0.0002430554,0.0006204149,0.0005508065,0.000319801],"domain_scores_gemma":[0.995838,0.001784315,0.0006078895,0.0008493405,0.0006113222,0.0003090603],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001858449,0.00003617044,0.001797331,0.0001616841,0.00002852071,0.0003076801,0.00111735,0.00183888,0.01499628,0.9620299,0.001705323,0.01579511],"study_design_scores_gemma":[0.00003711053,0.00008893597,0.001178204,0.00004259072,0.00004395393,0.0008033987,0.0005179144,0.01811862,0.01216554,0.9453131,0.02165065,0.00004002733],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.5776449,0.0007857539,0.3693359,0.001192841,0.0001297268,0.000266773,0.002374659,0.001727247,0.0465421],"genre_scores_gemma":[0.9262809,0.0001801496,0.0649144,0.0001835507,0.0001424378,0.000209508,0.0009789914,0.0001599299,0.006950217],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.005496208,"threshold_uncertainty_score":0.01838666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03786647705391654,"score_gpt":0.173637450744865,"score_spread":0.1357709736909485,"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."}}