{"id":"W6931786189","doi":"10.5281/zenodo.7223121","title":"Compiling Distributed System Models with DCal [evaluation]","year":2022,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Misinformation and Its Impacts","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Modular design; Compiler; Implementation; Key (lock); Set (abstract data type); Raft; Model checking; Modeling language","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.002450984,0.001531293,0.0005891193,0.001159214,0.0006357282,0.002113995,0.002763974,0.0007941672,0.01360541],"category_scores_gemma":[0.01310883,0.00132235,0.001789188,0.0007945176,0.001048681,0.002453356,0.002491286,0.00180181,0.002985581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001521254,"about_ca_system_score_gemma":0.002790533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007852604,"about_ca_topic_score_gemma":0.01076541,"domain_scores_codex":[0.9969536,0.0006949991,0.0002908698,0.0004470301,0.001345661,0.0002678824],"domain_scores_gemma":[0.9927896,0.002288026,0.0004651169,0.002715766,0.001631961,0.0001096443],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007190817,0.0004659503,0.01050899,0.00342296,0.0003739896,0.0009329312,0.00104307,0.4435973,0.02352476,0.1123642,0.07077855,0.3322682],"study_design_scores_gemma":[0.0001819438,0.0001744623,0.0007475455,0.0002618277,0.0001473295,0.0003325537,0.0001534854,0.8401071,0.03429708,0.01636956,0.1071575,0.0000696331],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01955532,0.0002093458,0.8758022,0.0003807516,0.0002113321,0.0005366877,0.00223291,0.07912139,0.02195001],"genre_scores_gemma":[0.2522081,0.0003529915,0.7207936,0.0003677614,0.00005254301,0.0007020543,0.006204453,0.01144289,0.007875535],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01360541,"threshold_uncertainty_score":0.04551464,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07632213601298818,"score_gpt":0.2922786668508096,"score_spread":0.2159565308378214,"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."}}