{"id":"W1758320073","doi":"10.48550/arxiv.1503.00886","title":"On Geometry of Interaction for Polarized Linear Logic","year":2015,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Linear logic; Bimodule; Mathematical proof; Multiplicative function; Morphism; Pure mathematics; Algebra over a field; Categorical variable; Mathematics; Computer science; Discrete mathematics; Geometry; Mathematical analysis","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.0004490406,0.0002160008,0.0003644324,0.0003319781,0.00006341815,0.00005458591,0.001103646,0.0002917983,0.000009027315],"category_scores_gemma":[0.0001177435,0.0002119208,0.0002391658,0.0003765967,0.0000532599,0.0001957504,0.0006952577,0.0003263546,0.00005733085],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001720686,"about_ca_system_score_gemma":0.0001488631,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001999352,"about_ca_topic_score_gemma":0.00001468556,"domain_scores_codex":[0.9986611,0.0001039916,0.0002153067,0.0006879999,0.00009533462,0.0002362849],"domain_scores_gemma":[0.9981456,0.0001586909,0.000414724,0.0008297916,0.0003395,0.0001116909],"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.0001233683,0.0001850473,0.0004166389,0.0001731662,0.0001062881,0.00003347217,0.0002079554,0.01672077,0.00007481196,0.9808675,0.0004195635,0.0006714435],"study_design_scores_gemma":[0.001476359,0.0006758324,0.00009340711,0.0000501223,0.00008411877,0.000006056001,0.0001349394,0.3676442,0.0004866753,0.6246006,0.004215054,0.0005326079],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03934703,0.00004363334,0.955814,0.00003605573,0.001596112,0.0004644892,0.000007343791,0.0001476401,0.002543694],"genre_scores_gemma":[0.9965293,0.00001353097,0.001966743,0.00004674034,0.0001073621,0.000001616925,0.00002321208,0.00001145096,0.001299986],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9571823,"threshold_uncertainty_score":0.864188,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1248813378207562,"score_gpt":0.2343180001740396,"score_spread":0.1094366623532834,"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."}}