{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007502389,0.0005822367,0.0004324808,0.0006131276,0.0007290356,0.001659351,0.00114419,0.0005276788,0.004048297],"category_scores_gemma":[0.002689467,0.000321096,0.001228737,0.0007162515,0.001614031,0.003626093,0.001622904,0.001716516,0.0004202237],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001345097,"about_ca_system_score_gemma":0.000864047,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002870016,"about_ca_topic_score_gemma":0.003097078,"domain_scores_codex":[0.9991457,0.0001589802,0.00008459074,0.0002828965,0.000164654,0.0001632449],"domain_scores_gemma":[0.9974471,0.001578092,0.0004015715,0.0002317301,0.0001918903,0.0001496163],"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.0004257332,0.0002522511,0.002412338,0.0004095018,0.00005675934,0.0009489356,0.000990067,0.1747522,0.02227455,0.7568862,0.001008461,0.03958294],"study_design_scores_gemma":[0.00007761544,0.0002676384,0.0009166924,0.00006630373,0.00007546444,0.0003142961,0.0002747719,0.4328537,0.02179171,0.534188,0.009107109,0.00006672244],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.46955,0.0005900243,0.5101327,0.0005726349,0.0001048364,0.0002112097,0.0006381017,0.001242776,0.0169576],"genre_scores_gemma":[0.9081094,0.0003392362,0.08248161,0.0001469063,0.00007682982,0.0001540813,0.0006358792,0.00007783427,0.007978153],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004048297,"threshold_uncertainty_score":0.01354289,"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."}}