{"id":"W2206772957","doi":"10.1016/j.tcs.2015.11.027","title":"Descriptional Complexity of Formal Systems","year":2015,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":false,"ca_institutions":"Middlesex London Health Unit","funders":"","keywords":"Formal language; Computer science; Formal system; Theoretical computer science; Programming language; Mathematics; Linguistics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004867475,0.0007089644,0.001445314,0.002770962,0.001945658,0.00952008,0.00304583,0.002044726,0.008278567],"category_scores_gemma":[0.0270996,0.001050215,0.001933139,0.003106396,0.006472786,0.02129873,0.004745175,0.006041033,0.0004693067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005740639,"about_ca_system_score_gemma":0.002248882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002374129,"about_ca_topic_score_gemma":0.00153858,"domain_scores_codex":[0.9916637,0.002695818,0.0005694995,0.001006747,0.003342743,0.0007215129],"domain_scores_gemma":[0.9530526,0.03853324,0.001889011,0.003429231,0.002011447,0.001084488],"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.00002429499,0.00002343017,0.0004355783,0.00007515639,0.00001987939,0.00002883115,0.0002862631,0.005339821,0.000152602,0.9890416,0.0006553985,0.003916986],"study_design_scores_gemma":[0.000007299746,0.000003601176,0.0001189557,0.000008052251,0.000007129913,0.00002124368,0.00005161785,0.01241077,0.00009891869,0.9865906,0.0006757655,0.00000597402],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3070665,0.004412999,0.5850009,0.0249037,0.0002056128,0.0001777232,0.002047197,0.000477067,0.07570825],"genre_scores_gemma":[0.961293,0.001537214,0.02883758,0.0005800072,0.0003318632,0.0002002009,0.00101665,0.00009943797,0.006104111],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00952008,"threshold_uncertainty_score":0.04165149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07158295952416184,"score_gpt":0.2757495938322175,"score_spread":0.2041666343080557,"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."}}