{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004105628,0.0003444765,0.000435146,0.001934115,0.001570357,0.005606949,0.001065288,0.001396652,0.006048407],"category_scores_gemma":[0.004825593,0.0005611845,0.001119702,0.001376548,0.007293077,0.007658069,0.0046841,0.002752843,0.0009886577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003187264,"about_ca_system_score_gemma":0.001816547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004131464,"about_ca_topic_score_gemma":0.00280105,"domain_scores_codex":[0.9958568,0.00164724,0.0003100012,0.0005641414,0.001195042,0.0004268851],"domain_scores_gemma":[0.9957463,0.001955574,0.0003901224,0.0006316832,0.000937593,0.0003386016],"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.000004659493,0.000004090048,0.00008215253,0.00001070539,0.000001937417,0.00002183974,0.0003026779,0.0003202329,0.0001965511,0.9973865,0.0001504889,0.001518201],"study_design_scores_gemma":[0.00002338686,0.00002154177,0.0001799664,0.00003020994,0.000008056501,0.00004613803,0.0003809616,0.003748365,0.0005909205,0.9763576,0.01859741,0.00001545321],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0787226,0.001084885,0.8262917,0.004157029,0.0002210364,0.0001302841,0.0003997554,0.001454705,0.08753798],"genre_scores_gemma":[0.8556992,0.0007012139,0.1281346,0.0007818929,0.0001764827,0.0002723405,0.000473249,0.0002018227,0.01355924],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006048407,"threshold_uncertainty_score":0.02312535,"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."}}