{"id":"W2765883112","doi":"10.23638/lmcs-14(1:12)2018","title":"Automated Synthesis of Distributed Self-Stabilizing Protocols","year":2018,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mutual exclusion; Computer science; Token ring; Dijkstra's algorithm; Distributed computing; Monotonic function; Protocol (science); Ideal (ethics); Self-stabilization; State (computer science); Set (abstract data type); Security token; Leader election; Theoretical computer science; Distributed algorithm; Topology (electrical circuits); Algorithm; Computer network; Mathematics; Graph; Programming language","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.009663428,0.0005901433,0.00140612,0.0004811847,0.0002234735,0.0007591104,0.00827292,0.0005072672,0.000009470324],"category_scores_gemma":[0.001307627,0.0004823378,0.0002655452,0.003368758,0.001055841,0.0005718092,0.00776829,0.0008125947,0.00001228119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003653276,"about_ca_system_score_gemma":0.0007715753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004151576,"about_ca_topic_score_gemma":0.000001798048,"domain_scores_codex":[0.9921795,0.001551874,0.001651232,0.002366311,0.001211938,0.001039207],"domain_scores_gemma":[0.9937001,0.001422823,0.0009734521,0.002792749,0.0007912607,0.0003195406],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009054365,0.004081894,0.007998783,0.003866244,0.0001906815,0.0003223276,0.003403479,0.05142085,0.009219136,0.05599479,0.001448349,0.8619629],"study_design_scores_gemma":[0.0002177082,0.0001691542,0.009463785,0.001153928,0.00000779836,0.000022367,0.000003976429,0.9666253,0.009374866,0.01183021,0.0005504405,0.0005804703],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002816737,0.00004716446,0.9881549,0.000173458,0.001511168,0.005544846,0.00006599996,0.00130102,0.0003846422],"genre_scores_gemma":[0.1001122,0.000004230708,0.8970812,0.00006942101,0.0001431471,0.002570451,0.000003968134,0.00001396655,0.000001370161],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9152045,"threshold_uncertainty_score":0.9997628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07643261077141357,"score_gpt":0.4151600025821575,"score_spread":0.338727391810744,"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."}}