{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006636492,0.0002958362,0.0006611343,0.0004851577,0.0003031731,0.000450785,0.004140629,0.0001391491,0.00002337834],"category_scores_gemma":[0.001390769,0.0002397041,0.0003074142,0.007872328,0.0005510654,0.001115771,0.001253255,0.0003049172,0.00001451091],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001070595,"about_ca_system_score_gemma":0.0001239675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008946207,"about_ca_topic_score_gemma":0.00000339213,"domain_scores_codex":[0.9953786,0.0007044001,0.0007816001,0.001630967,0.0006929387,0.0008115483],"domain_scores_gemma":[0.9968169,0.001161535,0.0002524837,0.001093876,0.0002445949,0.0004305791],"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.00003714447,0.0001226916,0.00171127,0.00002227238,0.00005493243,0.00000890349,0.001454034,0.02727295,0.001851217,0.1594167,0.0002083111,0.8078395],"study_design_scores_gemma":[0.0003639007,0.0003162327,0.01103056,0.000009415189,0.00002760874,0.000003735245,0.00001127785,0.9643423,0.004817542,0.0140165,0.004719356,0.0003415984],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001353323,0.00007861744,0.9945264,0.00183211,0.001032313,0.0004768569,0.000002978037,0.0002618795,0.0004355259],"genre_scores_gemma":[0.03597959,0.00001447984,0.9606092,0.003033902,0.0002412144,0.00009607527,0.000001690607,0.000008686414,0.00001515839],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9370693,"threshold_uncertainty_score":0.9774849,"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."}}