{"id":"W6891850243","doi":"10.48550/arxiv.1810.09613","title":"Refining Santa: An Exercise in Efficient Synchronization","year":2018,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Synchronization (alternating current); Simple (philosophy); Key (lock); Refining (metallurgy); Scheme (mathematics)","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"],"consensus_categories":[],"category_scores_codex":[0.0003656265,0.0002663913,0.0003419679,0.0002666085,0.0001254178,0.0001755089,0.001569755,0.0002809235,0.00001366297],"category_scores_gemma":[0.00001795771,0.0003131033,0.0000874327,0.0008478622,0.00007445327,0.0003450895,0.001038575,0.0003509512,0.00009446324],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003186236,"about_ca_system_score_gemma":0.0001880489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003496393,"about_ca_topic_score_gemma":0.0001003137,"domain_scores_codex":[0.997948,0.000127435,0.0002657044,0.001180041,0.0001141647,0.0003646832],"domain_scores_gemma":[0.9981354,0.00002535915,0.0002462674,0.001272857,0.0001760164,0.0001440769],"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.00003054828,0.0002574559,0.00541629,0.0001616753,0.00001966679,0.0004058888,0.0006885873,0.958024,0.00001942102,0.0308298,0.0003226534,0.003823977],"study_design_scores_gemma":[0.000384357,0.0000359164,0.00368145,0.0006522133,0.0000145311,0.000003006022,0.00005264486,0.993281,0.00003273293,0.001150002,0.0003300234,0.0003821073],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4204921,0.000115059,0.5772058,0.00001073762,0.000721384,0.0001641877,0.00001747689,0.0001758793,0.001097437],"genre_scores_gemma":[0.9986504,0.00006382935,0.0008575322,0.00001819847,0.0000676296,0.000001495516,0.00004400893,0.00001439887,0.0002825559],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5781583,"threshold_uncertainty_score":0.9999321,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0494497444047879,"score_gpt":0.1965297482101837,"score_spread":0.1470800038053958,"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."}}