{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00146636,0.0006076634,0.0004724969,0.001806499,0.002019506,0.004395303,0.001203172,0.001037862,0.007953367],"category_scores_gemma":[0.001857847,0.0003998707,0.001279297,0.001205688,0.005365056,0.007257052,0.004816011,0.003255905,0.001096683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00303132,"about_ca_system_score_gemma":0.0009097686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002529073,"about_ca_topic_score_gemma":0.001215115,"domain_scores_codex":[0.998061,0.000592485,0.00006796726,0.0002874449,0.0006434468,0.0003477354],"domain_scores_gemma":[0.9988428,0.0004510979,0.0001223462,0.0001707656,0.0002316868,0.0001811487],"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.00000545267,0.000004127869,0.00008296662,0.000009230134,0.000002067243,0.00003820111,0.0002347912,0.0003864648,0.0002785696,0.9975671,0.0001793945,0.001211768],"study_design_scores_gemma":[0.00000986972,0.00003018496,0.0002353062,0.00001949683,0.00001027372,0.0001205425,0.0003120716,0.0064854,0.0008352456,0.976742,0.01517916,0.000020504],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.110475,0.001656388,0.7257758,0.00429299,0.0002400378,0.0001462775,0.0005434547,0.0008308717,0.1560391],"genre_scores_gemma":[0.9127485,0.0007805486,0.0670353,0.0009005866,0.0002404281,0.0002233747,0.0003633719,0.0002378877,0.01746994],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007953367,"threshold_uncertainty_score":0.02660668,"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."}}