{"id":"W1216906483","doi":"10.1007/s00165-015-0336-0","title":"Categorical foundations for structured specifications in Z","year":2015,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Algorithm; Categorical variable; Notation; Structuring; Programming language; Artificial intelligence; Theoretical computer science; Machine learning; Mathematics; Arithmetic","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.0004209992,0.00008804663,0.0001671053,0.0001230842,0.00009517618,0.00008384932,0.0004899444,0.00004459537,0.000001485959],"category_scores_gemma":[0.0001009418,0.00007880779,0.00005431051,0.0003845055,0.00002960043,0.0003726276,0.0001361952,0.00007943918,0.00001032495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000648757,"about_ca_system_score_gemma":0.0001329508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006973843,"about_ca_topic_score_gemma":0.00006140007,"domain_scores_codex":[0.9989794,0.00002718761,0.0003377798,0.0001939041,0.0001808803,0.0002808012],"domain_scores_gemma":[0.9992213,0.00009210074,0.0001587563,0.0002615883,0.0001850471,0.00008117953],"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.000002821137,0.00003518298,0.0005503171,0.00001273601,0.00000508414,0.000001332151,0.00133442,0.0007402195,0.00002686059,0.9867799,0.0001139402,0.01039716],"study_design_scores_gemma":[0.001373448,0.0003182884,0.01216527,0.000006757363,0.000007018994,0.00004195122,0.0005178422,0.2682173,0.001035938,0.7048899,0.01112945,0.000296886],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009008898,0.00005084814,0.9781781,0.0001831186,0.0005803035,0.0003020297,5.56961e-7,0.00008534388,0.01161077],"genre_scores_gemma":[0.9616016,3.485053e-7,0.03815916,0.00001675241,0.0001699473,0.000007162643,0.000008340325,0.000005251534,0.00003139284],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9525927,"threshold_uncertainty_score":0.3213688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07029911596565051,"score_gpt":0.290714074281569,"score_spread":0.2204149583159185,"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."}}