{"id":"W4234959268","doi":"10.1007/978-3-319-60252-3","title":"Descriptional Complexity of Formal Systems","year":2017,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Topological and Geometric Data Analysis","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Prince Edward Island","funders":"","keywords":"Computer science; Formal methods; Formal system; Programming language; Software engineering","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.001426906,0.0007826344,0.001077956,0.002280192,0.001367422,0.00656411,0.001461701,0.0009761298,0.007525368],"category_scores_gemma":[0.006846607,0.0008066022,0.001320648,0.002680209,0.004243688,0.01234517,0.003505227,0.005238583,0.0008230853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003970876,"about_ca_system_score_gemma":0.001178443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00118942,"about_ca_topic_score_gemma":0.0007526969,"domain_scores_codex":[0.9972075,0.0006018907,0.0001800657,0.0003763198,0.001416342,0.0002179796],"domain_scores_gemma":[0.9943807,0.003879679,0.0002697408,0.0006814615,0.0005607237,0.000227741],"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.00000880773,0.000007293458,0.0001004268,0.00005494966,0.000008284954,0.00001627801,0.0001257344,0.001876583,0.0001555373,0.9892648,0.001557058,0.006824094],"study_design_scores_gemma":[0.000002536221,0.00000266752,0.00005462047,0.000009128004,0.000003518072,0.00002168595,0.00002529541,0.003377396,0.00008686208,0.9932241,0.003187936,0.000004220905],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1222036,0.01412351,0.598772,0.01646671,0.0006528694,0.0001363878,0.001799264,0.0006378574,0.2452077],"genre_scores_gemma":[0.8959147,0.007395438,0.06149925,0.0007461477,0.001075859,0.0002884822,0.001722755,0.0002820829,0.0310753],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007525368,"threshold_uncertainty_score":0.02881086,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05476019861187439,"score_gpt":0.2714581221125291,"score_spread":0.2166979235006547,"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."}}