{"id":"W4406716471","doi":"10.1007/978-3-031-82703-7_4","title":"Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Parametric statistics; Theoretical computer science; Distributed computing; Mathematics; Statistics","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.001740772,0.0005226113,0.0007891808,0.003134372,0.0001809396,0.0003998027,0.005748998,0.000452129,0.00004258118],"category_scores_gemma":[0.001610585,0.0004978623,0.0002048168,0.003912506,0.0007480605,0.0006943819,0.0009788104,0.0008264603,0.00004389122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004215273,"about_ca_system_score_gemma":0.001134907,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001073295,"about_ca_topic_score_gemma":0.00001784677,"domain_scores_codex":[0.9952393,0.00008148602,0.001188251,0.001639661,0.001333301,0.0005180107],"domain_scores_gemma":[0.9930248,0.002575299,0.0009281813,0.002784133,0.0005384465,0.0001491339],"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.000009366415,0.00008588864,0.0001643609,0.00009272403,0.00001893394,0.00001106865,0.00008852361,0.004016455,0.0001031689,0.07422259,0.00002881546,0.9211581],"study_design_scores_gemma":[0.0004070274,0.0002864101,0.009362696,0.002567292,0.00004109215,0.00001706827,4.603186e-7,0.659086,0.04689397,0.275629,0.004251103,0.001457939],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002511183,0.0001993265,0.9832191,0.0002097784,0.0007916699,0.004202654,0.00003532336,0.0001425908,0.01117443],"genre_scores_gemma":[0.04950182,0.00002878224,0.9493794,0.000159669,0.000169405,0.0005755614,0.00000702199,0.00002321231,0.000155061],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9197001,"threshold_uncertainty_score":0.9997473,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05729166746012054,"score_gpt":0.3081390225318236,"score_spread":0.250847355071703,"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."}}