{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.003978029,0.0002304639,0.000383553,0.0002394084,0.0002585742,0.0004051701,0.00394228,0.000065606,0.00001540977],"category_scores_gemma":[0.0001883564,0.000190555,0.00009702491,0.001462048,0.006944933,0.001442345,0.002848805,0.0002149781,0.00006376818],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001772144,"about_ca_system_score_gemma":0.0004572595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002701479,"about_ca_topic_score_gemma":8.218895e-7,"domain_scores_codex":[0.9959975,0.000225244,0.0005564778,0.0007913922,0.00164799,0.0007813608],"domain_scores_gemma":[0.9969291,0.0002260847,0.0001486997,0.001181426,0.0009177428,0.0005969367],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001176498,0.000128537,0.0001781216,0.00001279149,0.000003846474,0.000007498785,0.0003516662,0.00185128,0.0001013103,0.9900587,0.0000614951,0.007232951],"study_design_scores_gemma":[0.0002622385,0.000398622,0.001811543,0.00001503744,0.000002575699,0.00009429081,0.00001375582,0.6993281,0.0004473976,0.2973794,0.00006950574,0.0001776163],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04558259,0.00005591315,0.947787,0.0004623057,0.001980975,0.0002496641,0.000004507595,0.0002395532,0.0036375],"genre_scores_gemma":[0.7189242,4.642024e-7,0.2808176,0.0001014125,0.000141728,0.000005202358,8.770476e-7,0.0000048646,0.00000367991],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6974768,"threshold_uncertainty_score":0.9957576,"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."}}