{"id":"W2975757208","doi":"","title":"Affine extensions of integer vector addition systems with states","year":2021,"lang":"en","type":"article","venue":"Oxford University Research Archive (ORA) (University of Oxford)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"Monoid; Reachability; Undecidable problem; Mathematics; Combinatorics; Affine transformation; Decidability; Integer (computer science); Discrete mathematics; Rewriting; Conjecture; Reachability problem; Pure mathematics; Computer science","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.0008521587,0.000178764,0.0003851842,0.0007706603,0.0005580724,0.00004478199,0.001607635,0.00009701282,0.0001345074],"category_scores_gemma":[0.0001675126,0.0002060646,0.0001384933,0.001948193,0.000847806,0.001209229,0.001255856,0.0005150016,0.000007627186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002136494,"about_ca_system_score_gemma":0.000625907,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005574087,"about_ca_topic_score_gemma":0.0004066189,"domain_scores_codex":[0.9969366,0.0008854694,0.0001790867,0.0005860047,0.0008942228,0.0005186443],"domain_scores_gemma":[0.9964728,0.0005463991,0.0002419087,0.0009826341,0.00149887,0.000257365],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002017752,0.001056344,0.003645255,0.0007974932,0.000578901,0.001405909,0.01241471,0.004095687,0.01923001,0.9229743,0.009245568,0.02253806],"study_design_scores_gemma":[0.005867576,0.003966951,0.05476663,0.001457202,0.0001829351,0.0002366816,0.09340931,0.3530312,0.007781177,0.007980651,0.4698969,0.001422828],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09757499,0.00007006843,0.8859451,0.0006636108,0.0001231006,0.0004278022,0.0003411289,0.0001001084,0.01475402],"genre_scores_gemma":[0.5646192,0.001274135,0.428957,0.00001402873,0.0000341843,5.383646e-7,0.0002496642,0.00002251938,0.004828728],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9149936,"threshold_uncertainty_score":0.8403071,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03581996187329878,"score_gpt":0.2685257887072357,"score_spread":0.2327058268339369,"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."}}