{"id":"W6931581551","doi":"10.5281/zenodo.7430228","title":"Compiling Distributed System Models with PGo [evaluation]","year":2022,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Vagus Nerve Stimulation Research","field":"Neuroscience","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Modular design; Compiler; Implementation; Set (abstract data type); Key (lock); Latency (audio); Modeling language; Model checking","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001191505,0.0003215965,0.0003232782,0.0007202646,0.002925815,0.0009052495,0.001898378,0.0001284603,0.0972859],"category_scores_gemma":[0.0008630821,0.0003117299,0.00007679319,0.001393904,0.0002605356,0.0002017371,0.001842799,0.000701441,0.006019986],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007968322,"about_ca_system_score_gemma":0.00002494355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004206461,"about_ca_topic_score_gemma":9.867732e-7,"domain_scores_codex":[0.9940703,0.001751098,0.0003543,0.001054213,0.002173581,0.0005965329],"domain_scores_gemma":[0.9978313,0.00006443228,0.0003255783,0.001017871,0.0005033542,0.0002574423],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001736741,0.0002690777,0.000002282493,0.0005381313,0.00009317388,0.0001219671,0.0004116101,0.02948485,0.001953621,0.03358717,0.9216948,0.01166965],"study_design_scores_gemma":[0.001049662,0.0002076113,0.00001272533,0.0001310808,0.0000399969,0.0001817515,0.0002745589,0.08258323,0.0001745725,0.00008663134,0.9148786,0.0003795811],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0002261416,0.0001342863,0.01424829,0.0002499722,0.0001256081,0.002105646,0.002540011,0.003218812,0.9771512],"genre_scores_gemma":[0.7794201,0.00009344539,0.0005924696,0.0002590139,0.0005998329,0.000002171116,0.01991491,0.02979009,0.169328],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8078233,"threshold_uncertainty_score":0.9999335,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1068761621221905,"score_gpt":0.29004137447245,"score_spread":0.1831652123502595,"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."}}