{"id":"W4413965840","doi":"10.70930/tac/bsjpp8a4","title":"Classical Distributive Restriction Categories","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada","keywords":"Distributive property; Computer science; Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003638189,0.0001073846,0.0001305324,0.00007452117,0.0001947494,0.0001458588,0.000303381,0.00006182885,0.000009512606],"category_scores_gemma":[0.00004739936,0.00008460458,0.00004360549,0.0005179505,0.0003503928,0.0003302698,0.0001268399,0.000118004,0.00003038918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001975731,"about_ca_system_score_gemma":0.00008061117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007464615,"about_ca_topic_score_gemma":0.000002751358,"domain_scores_codex":[0.9992481,0.00007238797,0.0001662374,0.0002728197,0.0000997431,0.0001407251],"domain_scores_gemma":[0.9990976,0.000407169,0.00004424648,0.0003057626,0.00008752935,0.00005771047],"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.000008278734,0.00002732719,0.00005425946,0.00003640058,0.00001633773,9.566253e-7,0.0007485857,0.000001280292,0.0001933788,0.966254,0.0005235913,0.03213562],"study_design_scores_gemma":[0.00005237608,0.00004428711,0.0006493375,0.000008436306,0.00002003219,0.00001056472,0.0003228161,0.000311444,0.005658111,0.9264668,0.06635033,0.0001055228],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004498336,0.00348096,0.9740859,0.0005559893,0.0001472212,0.0001775135,0.00001740352,0.0002652459,0.01677144],"genre_scores_gemma":[0.9978124,0.0002773288,0.0004620241,0.00001673581,0.0001368633,0.0001235989,0.00001922174,0.00000560205,0.001146189],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9933141,"threshold_uncertainty_score":0.3450075,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008995886674870914,"score_gpt":0.2512302419638929,"score_spread":0.242234355289022,"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."}}