{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001828292,0.0001621498,0.0002133217,0.00016947,0.00006340073,0.0000477887,0.001038446,0.0001238516,0.0001286557],"category_scores_gemma":[0.00007732759,0.0001580472,0.0001050571,0.0009531237,0.00006147804,0.0004013955,0.0004191788,0.0003256279,0.001000949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009048296,"about_ca_system_score_gemma":0.00003907196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003924806,"about_ca_topic_score_gemma":0.00001799274,"domain_scores_codex":[0.9986871,0.00009472731,0.0001236261,0.0006515328,0.00006945502,0.0003735711],"domain_scores_gemma":[0.998925,0.0001741181,0.00006712153,0.0006377425,0.00005721149,0.0001388167],"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.00005304728,0.0003323503,0.1246559,0.00002320864,0.00002714146,0.001478983,0.0004370523,0.01193191,0.0001479487,0.8595699,0.0005664865,0.0007760652],"study_design_scores_gemma":[0.001246939,0.000253379,0.02648371,0.00007776076,0.00001207072,0.000024352,0.0000863249,0.8668029,0.0004047476,0.09789328,0.006127561,0.0005870335],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7525009,0.00002917551,0.2399675,0.0001070148,0.0002645247,0.0001301274,0.000001023589,0.0001489159,0.006850853],"genre_scores_gemma":[0.996195,0.0000236573,0.001871029,0.0004014679,0.00005114781,2.893336e-7,0.000002010221,0.000007444125,0.001447961],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8548709,"threshold_uncertainty_score":0.9997769,"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."}}