{"id":"W2014469781","doi":"10.1007/s10485-010-9241-0","title":"Deep Inference and Probabilistic Coherence Spaces","year":2010,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Sequent calculus; Functor; Linear logic; Noncommutative geometry; Sequent; Tensor product; Category theory; Rule of inference; Algebra over a field; Inference; Pure mathematics; Discrete mathematics; Artificial intelligence; Computer science; Mathematical proof","routes":{"ca_aff":true,"ca_fund":true,"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.0001098617,0.0002189613,0.0002210118,0.00004564959,0.0001980941,0.0003409097,0.0008024233,0.0001564062,0.00006720902],"category_scores_gemma":[0.0001612252,0.0001568997,0.00003093533,0.0002736121,0.0002285385,0.0001359016,0.0003461986,0.0004141497,0.00003880824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000169431,"about_ca_system_score_gemma":0.00005975306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004099783,"about_ca_topic_score_gemma":0.0001131684,"domain_scores_codex":[0.9986573,0.00002063367,0.0001737601,0.0005514235,0.0002285503,0.0003682926],"domain_scores_gemma":[0.9989436,0.0002378512,0.00008028116,0.0004566278,0.00006239329,0.0002192436],"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.00000331027,0.00001466444,0.0007667917,0.00001303838,0.000005709969,0.000004381243,0.0003788481,0.00002084971,0.00324483,0.9631163,0.0001003998,0.03233084],"study_design_scores_gemma":[0.0002181815,0.00004548093,0.02288006,4.077647e-7,0.000008373217,0.00003125769,0.00002361739,0.004043098,0.001097612,0.9694462,0.001918159,0.0002875088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2468885,0.0003330576,0.6972575,0.0004342669,0.00117838,0.0006647696,7.665294e-7,0.0006125303,0.05263026],"genre_scores_gemma":[0.9940377,0.000008106889,0.005583799,0.0001226004,0.0001430735,0.00003882859,0.000002067103,0.000008092306,0.00005569257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7471492,"threshold_uncertainty_score":0.6398184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009786615218030535,"score_gpt":0.2348890658194487,"score_spread":0.2251024506014182,"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."}}