{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00452141,0.0005935189,0.001020001,0.002792828,0.001508518,0.004948068,0.001997186,0.001487206,0.006523306],"category_scores_gemma":[0.02358695,0.0008960522,0.001391736,0.002371884,0.004720436,0.01423665,0.00439089,0.00466555,0.0005373952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002954503,"about_ca_system_score_gemma":0.001662389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004606479,"about_ca_topic_score_gemma":0.00667546,"domain_scores_codex":[0.9961338,0.001812965,0.0002475191,0.0007287553,0.0008256667,0.0002513731],"domain_scores_gemma":[0.9809234,0.01425811,0.001071049,0.001881961,0.001404605,0.0004609188],"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.00004521686,0.00002467046,0.0005471666,0.0000749129,0.00004211914,0.00002752451,0.0002079194,0.008186709,0.0002411965,0.9700464,0.0009916321,0.01956458],"study_design_scores_gemma":[0.000004101019,0.000003426301,0.00006370628,0.000009284006,0.00000677049,0.000006668276,0.00002370399,0.02024999,0.0001076821,0.9789678,0.000552867,0.000004089373],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03232379,0.001360616,0.9546049,0.003184413,0.00006985249,0.00003054156,0.0004845514,0.0003326554,0.007608679],"genre_scores_gemma":[0.8168791,0.001207159,0.1736797,0.0007006443,0.0004129965,0.0001351485,0.001309464,0.0001387638,0.005537085],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006523306,"threshold_uncertainty_score":0.02391183,"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."}}