{"id":"W4413966066","doi":"10.70930/tac/ylfv3uq9","title":"Decorated corelations","year":2018,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Office of Naval Research","keywords":"Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001392688,0.0003943904,0.0003655867,0.001206339,0.001324433,0.001492925,0.000737385,0.0006754008,0.005504396],"category_scores_gemma":[0.001904553,0.0003287886,0.0009378894,0.0006297076,0.00260135,0.003574578,0.003891149,0.001012088,0.0009823308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001030812,"about_ca_system_score_gemma":0.0007483211,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0011441,"about_ca_topic_score_gemma":0.001095569,"domain_scores_codex":[0.9985251,0.0002788974,0.0001172708,0.0004178246,0.0003613241,0.0002996859],"domain_scores_gemma":[0.9984029,0.0002794962,0.0001035094,0.0004671534,0.0005501174,0.0001967745],"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.000042322,0.00002001905,0.0008578416,0.00005095066,0.00001253723,0.0002618953,0.0008214015,0.0005421811,0.005496978,0.9698272,0.0009452736,0.02112137],"study_design_scores_gemma":[0.00001861297,0.0001286898,0.001806841,0.00006461242,0.00004719853,0.001185171,0.0005479417,0.008481899,0.02204986,0.8580361,0.1075743,0.00005878917],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1968407,0.0007800666,0.7263277,0.0004742063,0.0004036525,0.0001590222,0.0006612011,0.001759944,0.07259353],"genre_scores_gemma":[0.845623,0.0003192461,0.1222169,0.000403236,0.0001456742,0.0002317098,0.0008913472,0.0004079363,0.02976101],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005504396,"threshold_uncertainty_score":0.01841408,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01438914101181984,"score_gpt":0.2567639501931783,"score_spread":0.2423748091813585,"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."}}