{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.001339414,0.0003493379,0.0007535713,0.001110389,0.0003953713,0.0006742734,0.007215608,0.0002648723,0.00002056134],"category_scores_gemma":[0.0002746997,0.0002727927,0.000193814,0.001182088,0.002208324,0.00122082,0.002767054,0.0005313692,0.00003166217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002435568,"about_ca_system_score_gemma":0.0008250092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001593277,"about_ca_topic_score_gemma":0.00005118919,"domain_scores_codex":[0.9963235,0.00006020596,0.0005947375,0.001096099,0.001266829,0.0006585746],"domain_scores_gemma":[0.9965892,0.00034072,0.0006198292,0.001940652,0.0003442069,0.0001653946],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000152772,0.0002066459,0.0006143014,0.0002137459,0.00007463784,0.0001277802,0.0003194593,0.04123043,0.00005389508,0.2621927,0.0009229304,0.6940282],"study_design_scores_gemma":[0.0003129469,0.0003387623,0.00297189,0.0002903333,0.00002156924,0.00008696708,1.826787e-7,0.7289635,0.0001448174,0.2605261,0.00567143,0.0006715096],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00007765942,0.0006269409,0.9936807,0.000284548,0.001723763,0.0001904542,0.00004886935,0.00006261569,0.003304464],"genre_scores_gemma":[0.5424796,0.00006805106,0.4534087,0.0004976955,0.0009535503,0.00001656297,0.00007644647,0.00002013487,0.002479268],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6933567,"threshold_uncertainty_score":0.9999724,"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."}}