{"id":"W2952912396","doi":"10.48550/arxiv.0901.3761","title":"Closures in Formal Languages and Kuratowski's Theorem","year":2009,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Linguistics; Computer science; Programming language; Mathematics; History; Philosophy","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.0002703145,0.0002453359,0.0002842977,0.0001211289,0.00006797747,0.00009365242,0.0007904812,0.0001910587,0.00001163465],"category_scores_gemma":[0.00005261124,0.0002038702,0.00006447997,0.000145546,0.00006493625,0.0003706659,0.001059857,0.0005248857,0.00002628582],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002745103,"about_ca_system_score_gemma":0.00004887954,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002373694,"about_ca_topic_score_gemma":0.00003534005,"domain_scores_codex":[0.998599,0.00008120205,0.0002415978,0.0005498019,0.0001515238,0.0003769111],"domain_scores_gemma":[0.9990838,0.00007782888,0.0001159551,0.0006182456,0.00002824366,0.00007598621],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.00003072463,0.0001721667,0.3977867,0.0001513417,0.00004384389,0.000593196,0.003544675,0.0009047851,0.0008513818,0.3709759,0.0002894035,0.2246559],"study_design_scores_gemma":[0.0004822284,0.0001261284,0.8177195,0.0001528544,0.000009246795,0.00003712915,0.0001274859,0.001406039,0.00172572,0.1764428,0.001167476,0.0006034716],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9631172,0.002271098,0.02878576,0.0006310742,0.0002142415,0.000192755,0.00000269854,0.000172891,0.004612222],"genre_scores_gemma":[0.9927304,0.0002472356,0.00605375,0.0006689595,0.0001287474,0.00001571826,0.000006223386,0.000009780504,0.000139216],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4199328,"threshold_uncertainty_score":0.8313585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01968751998267646,"score_gpt":0.283336034772215,"score_spread":0.2636485147895385,"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."}}