{"id":"W4310419450","doi":"10.4230/lipics.fscd.2022.20","title":"Decision Problems for Linear Logic with Least and Greatest Fixed Points","year":2022,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"Agence Nationale de la Recherche","keywords":"Fixed point; Computer science; Mathematics; Mathematical optimization; 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.007305198,0.0008577944,0.001152835,0.001188002,0.001991987,0.004969276,0.0020569,0.001963234,0.006957705],"category_scores_gemma":[0.02089786,0.001110871,0.003253617,0.001097917,0.005674647,0.008924419,0.004320456,0.007072808,0.0006835262],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004773929,"about_ca_system_score_gemma":0.003124422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003976081,"about_ca_topic_score_gemma":0.003984359,"domain_scores_codex":[0.9922258,0.002797477,0.0006173961,0.002180352,0.001239486,0.0009394866],"domain_scores_gemma":[0.9600389,0.0360119,0.001222394,0.001021661,0.001165478,0.0005395446],"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.0005025725,0.0002948045,0.002340673,0.0008853178,0.0002505228,0.0003483406,0.001203413,0.05749891,0.003531784,0.8817669,0.00504692,0.04632979],"study_design_scores_gemma":[0.0001088359,0.00006484672,0.000331281,0.00005127323,0.0000709382,0.00009451767,0.0001936091,0.07070291,0.003052126,0.9226341,0.002653148,0.00004239158],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2495808,0.00236103,0.7159,0.01095461,0.0001941587,0.0004664729,0.001280127,0.0008682044,0.01839457],"genre_scores_gemma":[0.7690903,0.001294174,0.2138242,0.001289081,0.000404124,0.0004014493,0.001758053,0.0002315688,0.01170712],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007305198,"threshold_uncertainty_score":0.03863406,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04310459302682623,"score_gpt":0.3080269835349024,"score_spread":0.2649223905080761,"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."}}