{"id":"W28039488","doi":"10.1007/978-3-319-03089-0_11","title":"How Good is Weak-Stabilization?","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Geology","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.005885391,0.0007688704,0.001049045,0.001018754,0.001904884,0.003261806,0.001165645,0.002341817,0.0122309],"category_scores_gemma":[0.01758204,0.0003679509,0.0007675008,0.0009134706,0.007117616,0.01092617,0.003047916,0.002982862,0.002868942],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001292262,"about_ca_system_score_gemma":0.001098117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008341677,"about_ca_topic_score_gemma":0.0007877756,"domain_scores_codex":[0.9971327,0.001060471,0.0001672884,0.0004838647,0.0008050216,0.0003507239],"domain_scores_gemma":[0.9919041,0.00429845,0.0004732027,0.001724949,0.001241281,0.0003580267],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002658808,0.00004109197,0.0008304541,0.0004606322,0.00007885593,0.0000462453,0.0002805493,0.005059926,0.002113973,0.8663341,0.01723926,0.1072491],"study_design_scores_gemma":[0.00001649272,0.00005045486,0.0001746214,0.00009644547,0.00002379082,0.00003937884,0.0001583472,0.002438423,0.001937768,0.9780158,0.01703214,0.00001620015],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07075061,0.03541955,0.4805598,0.1038338,0.008797381,0.0001430894,0.0006875554,0.002469906,0.2973384],"genre_scores_gemma":[0.8899178,0.009033897,0.04077518,0.006519727,0.00296873,0.0001776668,0.0003682086,0.000822685,0.04941612],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0122309,"threshold_uncertainty_score":0.04091644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.025396128938621,"score_gpt":0.2639165069636338,"score_spread":0.2385203780250128,"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."}}