{"id":"W4387030715","doi":"10.48550/arxiv.2309.12466","title":"Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Session (web analytics); Linearity; Computer science; Channel (broadcasting); Syntax; Linear logic; Encoding (memory); Programming language; Theoretical computer science; Abstract syntax; Artificial intelligence; Computer network; Electronic engineering; Engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006892623,0.000488363,0.0006355821,0.0003214754,0.0005369976,0.0004607593,0.00191081,0.0005156749,0.00001354551],"category_scores_gemma":[0.000105093,0.0004874021,0.0003069094,0.0008656236,0.0000929454,0.0005787466,0.003669393,0.001016322,0.00009133868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003103361,"about_ca_system_score_gemma":0.0003769008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002738394,"about_ca_topic_score_gemma":0.0002656291,"domain_scores_codex":[0.9970377,0.0002681811,0.00038395,0.001449567,0.0002234511,0.0006371198],"domain_scores_gemma":[0.9975288,0.0001091291,0.000490377,0.001328809,0.0002980646,0.000244838],"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.00005251847,0.00009079163,0.03270383,0.001007773,0.0004411441,0.001096848,0.002033069,0.2335949,0.0003780006,0.7253141,0.00009389175,0.003193067],"study_design_scores_gemma":[0.0003138515,0.00003586891,0.000365994,0.0001015325,0.00008140804,0.00001941607,0.0001027606,0.9220067,0.000231492,0.07562783,0.0005138718,0.0005992649],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1764303,0.0001274646,0.8181772,0.00003026665,0.003559118,0.0004619924,0.000005602978,0.0008942471,0.0003138524],"genre_scores_gemma":[0.9908742,0.00004631801,0.007343417,0.00005814813,0.0003558937,0.000001068953,0.00001994729,0.00003955215,0.001261509],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8144439,"threshold_uncertainty_score":0.9997578,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1395796455650823,"score_gpt":0.2425565025239181,"score_spread":0.1029768569588358,"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."}}