{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003496044,0.0009609657,0.001544199,0.002143178,0.001883424,0.003854899,0.004003427,0.002567526,0.01753159],"category_scores_gemma":[0.02120992,0.001147523,0.002076079,0.002150184,0.002071118,0.007491475,0.006591396,0.003799246,0.002216204],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00302232,"about_ca_system_score_gemma":0.003334179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002736169,"about_ca_topic_score_gemma":0.00617644,"domain_scores_codex":[0.995233,0.002197195,0.0002570152,0.0006298613,0.001245087,0.0004378208],"domain_scores_gemma":[0.984596,0.01117318,0.0004476199,0.00191505,0.001309181,0.0005589974],"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.001521493,0.0005426693,0.001410338,0.001284903,0.0002273525,0.0002842127,0.0006702801,0.1021093,0.008196954,0.663804,0.01267709,0.2072714],"study_design_scores_gemma":[0.0001082234,0.00007085599,0.0001707715,0.00005702524,0.00007421254,0.00006760655,0.00004716679,0.4132484,0.002380433,0.580668,0.003072801,0.00003459561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04201951,0.0004251783,0.9386864,0.001153023,0.0001170152,0.0002664842,0.0004685927,0.002963587,0.01390016],"genre_scores_gemma":[0.5966313,0.0002492582,0.3918883,0.0004832604,0.0001154882,0.000266097,0.001086648,0.0005561304,0.008723482],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01753159,"threshold_uncertainty_score":0.05864906,"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."}}