{"id":"W2766112195","doi":"10.23638/lmcs-16(2:13)2020","title":"Forward Analysis for WSTS, Part III: Karp-Miller Trees","year":2020,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Miller; Computer science; Geology","routes":{"ca_aff":true,"ca_fund":true,"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.002042476,0.0005659029,0.0006081203,0.001579175,0.001252828,0.002026292,0.001160467,0.0007903953,0.005806233],"category_scores_gemma":[0.005182792,0.0005078756,0.002705236,0.0013269,0.002708139,0.005920114,0.00248224,0.00353265,0.001015504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002036708,"about_ca_system_score_gemma":0.001704693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002815736,"about_ca_topic_score_gemma":0.003270086,"domain_scores_codex":[0.9982558,0.0003218121,0.0001270377,0.0003676005,0.0007073611,0.0002203304],"domain_scores_gemma":[0.9970015,0.001672395,0.0002382378,0.0004679855,0.0005118554,0.0001080177],"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.00007036549,0.00004468674,0.0007803799,0.0001335535,0.00002602843,0.0001172011,0.0004787427,0.01929524,0.007150022,0.9254057,0.00163485,0.04486333],"study_design_scores_gemma":[0.00001312228,0.00003868065,0.0002794337,0.0000478265,0.00002844424,0.00008380711,0.0001324608,0.08019548,0.008649822,0.9006708,0.009832434,0.00002769736],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02071905,0.0001609192,0.9706228,0.0004664884,0.00003545807,0.0001096648,0.0002366144,0.0004659064,0.007182971],"genre_scores_gemma":[0.4130447,0.0005098055,0.5654015,0.0004544187,0.0001698398,0.0003856668,0.001036568,0.000376445,0.01862115],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005806233,"threshold_uncertainty_score":0.01942378,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1480144954118037,"score_gpt":0.4090043323672111,"score_spread":0.2609898369554073,"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."}}