{"id":"W4297848459","doi":"","title":"Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic","year":2018,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Connection (principal bundle); Linear logic; Multiplicative function; Computer science; Intuitionistic logic; Proof theory; Mathematics; Algorithm; Theoretical computer science; Mathematical proof","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005643438,0.0004386953,0.0004995996,0.0002638134,0.0009178503,0.0006449604,0.002846262,0.0004107477,0.0001329888],"category_scores_gemma":[0.002914846,0.0004305774,0.0003146592,0.0005742307,0.0004829922,0.0001594446,0.001824579,0.0006497361,0.0001355636],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002478627,"about_ca_system_score_gemma":0.0008911045,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003259103,"about_ca_topic_score_gemma":0.0004701575,"domain_scores_codex":[0.9934307,0.003562254,0.0005866279,0.0014148,0.0004479152,0.0005577345],"domain_scores_gemma":[0.986097,0.003758247,0.000542554,0.002839491,0.006508186,0.0002545513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006346712,0.00220104,0.0009216107,0.0007572697,0.0002056439,0.000005743198,0.01321169,0.0007970901,0.001428925,0.9409041,0.003177701,0.03632565],"study_design_scores_gemma":[0.001489284,0.00000587341,0.0005264936,0.001047276,0.00004850093,0.000006329919,0.00005158958,0.832188,0.109421,0.04634039,0.008130192,0.0007451331],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003598928,0.0003609047,0.9588083,0.00631145,0.0004437181,0.001540092,0.00008009157,0.0004942466,0.02836228],"genre_scores_gemma":[0.7030237,0.00005955244,0.2906792,0.0002158405,0.0001127168,0.0006872157,0.0005629659,0.00005021248,0.004608608],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8945638,"threshold_uncertainty_score":0.9998146,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03124163697436311,"score_gpt":0.2737420564110819,"score_spread":0.2425004194367188,"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."}}