{"id":"W6913060233","doi":"10.5281/zenodo.8329645","title":"Mechanizing Session-Types Using a Structural View","year":2023,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Artifact (error); Beluga; Mechanization; Volume (thermodynamics)","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.003206323,0.001171441,0.0007574051,0.00155744,0.001640516,0.005401098,0.003096935,0.001520377,0.06699744],"category_scores_gemma":[0.01010048,0.00159698,0.001981743,0.001384427,0.002772175,0.009836095,0.006657907,0.005091456,0.02096207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002108283,"about_ca_system_score_gemma":0.00344091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005794442,"about_ca_topic_score_gemma":0.01056644,"domain_scores_codex":[0.9952403,0.001043026,0.0003806585,0.0007943055,0.002064619,0.0004771844],"domain_scores_gemma":[0.9955439,0.001270053,0.0001282362,0.001882826,0.0009678194,0.0002071046],"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.0001579755,0.00006911023,0.0003852752,0.0004013983,0.00003677999,0.0001697096,0.0007767786,0.002958859,0.007792565,0.7848263,0.09974063,0.1026845],"study_design_scores_gemma":[0.00006919931,0.00005397432,0.0002982583,0.0001936586,0.00004443385,0.0003188057,0.0001896739,0.01451889,0.0117372,0.1662188,0.806284,0.00007328964],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002228751,0.0002451185,0.9207267,0.001172585,0.0009790054,0.0001869793,0.001452843,0.03313734,0.03987068],"genre_scores_gemma":[0.1187159,0.001127876,0.7550998,0.00165884,0.0007343244,0.0009073522,0.007035391,0.02899098,0.08572958],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06699744,"threshold_uncertainty_score":0.2241288,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06603994481479807,"score_gpt":0.2934730819769258,"score_spread":0.2274331371621277,"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."}}