{"id":"W2889124254","doi":"10.46298/lmcs-17(3:1)2021","title":"Affine Extensions of Integer Vector Addition Systems with States","year":2021,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche; Fonds de recherche du Québec – Nature et technologies; European Commission","keywords":"Monoid; Reachability; Undecidable problem; Mathematics; Affine transformation; Combinatorics; Decidability; Integer (computer science); Discrete mathematics; Conjecture; Rewriting; Reachability problem; Pure mathematics; Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003838873,0.0001789578,0.0003768106,0.0002599161,0.0001276569,0.000213718,0.00141069,0.00007737159,0.00002096267],"category_scores_gemma":[0.0007710416,0.0001300922,0.00005047653,0.003345025,0.0005989146,0.0008592409,0.0007428093,0.0002715647,0.000005991556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001011423,"about_ca_system_score_gemma":0.0002516569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001821816,"about_ca_topic_score_gemma":0.000002286655,"domain_scores_codex":[0.9966003,0.0009864335,0.0005280774,0.0008518176,0.0006124899,0.0004208771],"domain_scores_gemma":[0.9970278,0.0009543647,0.0002192809,0.001025065,0.0006300945,0.0001433941],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002636324,0.0003586503,0.0003676376,0.00007971267,0.00001221541,0.0001136233,0.001102258,0.03904534,0.03589096,0.5131468,0.00006683295,0.4097896],"study_design_scores_gemma":[0.0002180625,0.0003036287,0.01082301,0.0001539379,0.000003606648,0.0001439578,0.00004178709,0.9432083,0.03631449,0.008236547,0.0003314598,0.000221226],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006481701,0.0001589939,0.9913995,0.0002166632,0.001152239,0.0001835086,0.000003249264,0.0001027718,0.000301367],"genre_scores_gemma":[0.08419129,0.00001757598,0.9155225,0.000161391,0.00005629261,0.00002595879,0.00000204119,0.000005720116,0.00001728221],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9041629,"threshold_uncertainty_score":0.5305007,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06018076838320194,"score_gpt":0.3714641031173124,"score_spread":0.3112833347341105,"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."}}