{"id":"W2954570608","doi":"10.4230/lipics.fscd.2019.2","title":"A Linear Logical Framework in Hybrid (Invited Talk)","year":2019,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linear logic; Soundness; Programming language; Computer science; Sequent calculus; Logical framework; Theoretical computer science; Mathematics","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.004591856,0.0006097474,0.0005187555,0.001055359,0.001820625,0.005602761,0.002055336,0.002401,0.02544951],"category_scores_gemma":[0.00489989,0.0007546627,0.001596561,0.00089795,0.005169376,0.009421237,0.005383164,0.004055316,0.005620772],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002992725,"about_ca_system_score_gemma":0.001410938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002492633,"about_ca_topic_score_gemma":0.001603488,"domain_scores_codex":[0.9972242,0.001215081,0.0001090907,0.0005060382,0.000665363,0.0002801525],"domain_scores_gemma":[0.9983134,0.0009182988,0.00007169217,0.0002440693,0.0002684343,0.0001840839],"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.00002274005,0.00001482882,0.00008233479,0.00005912406,0.00001084537,0.0000719444,0.0004567658,0.0008629924,0.0007585192,0.9810621,0.006028748,0.01056902],"study_design_scores_gemma":[0.0000399719,0.00004555514,0.0001155499,0.00009759007,0.0000293655,0.0002139604,0.0003171428,0.009172619,0.002545719,0.7862251,0.201131,0.00006629587],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008300764,0.003969465,0.9004481,0.01303019,0.002152584,0.00009343651,0.0002890488,0.002802217,0.06891415],"genre_scores_gemma":[0.3979181,0.003352112,0.5001153,0.008883114,0.002548787,0.0005299093,0.0008220666,0.001915643,0.08391486],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02544951,"threshold_uncertainty_score":0.08513713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04206162174367736,"score_gpt":0.1809292026597845,"score_spread":0.1388675809161071,"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."}}