{"id":"W7124934559","doi":"10.1145/3787957.3787958","title":"Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action","year":2025,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Presburger arithmetic; Undecidable problem; Integer (computer science); Decidability; Algebra over a field; Integer programming; Integer points in convex polyhedra; Action (physics)","routes":{"ca_aff":true,"ca_fund":false,"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.0004582271,0.0001776335,0.0002417725,0.0006955274,0.0001441169,0.0002251948,0.002720902,0.00009599313,0.000004040179],"category_scores_gemma":[0.0001033968,0.0001869997,0.00004680041,0.001271701,0.0001307193,0.0006300551,0.003398428,0.0004239549,0.00001501446],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001179904,"about_ca_system_score_gemma":0.0001093424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002559877,"about_ca_topic_score_gemma":0.000324605,"domain_scores_codex":[0.9983995,0.0002828641,0.0004841106,0.0004313907,0.0001293975,0.0002727585],"domain_scores_gemma":[0.9964717,0.0008698014,0.00008867015,0.002460853,0.00005598445,0.00005297328],"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.000008404331,0.0003389567,0.01019342,0.00003203638,0.00002580981,0.000005278522,0.001288811,0.0005133042,0.0001316419,0.1947241,0.001118925,0.7916194],"study_design_scores_gemma":[0.0008444113,0.00004072173,0.1483742,0.0002256681,0.000007308172,0.00001491077,0.00003284323,0.6676546,0.0001919682,0.1753117,0.006994769,0.0003068355],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1617594,0.001437183,0.8149313,0.01948959,0.0006899781,0.0004416846,0.000001381528,0.0002320016,0.001017509],"genre_scores_gemma":[0.8732375,0.0002742981,0.1252532,0.001021904,0.00003098922,0.00006442182,0.00000816805,0.000007272219,0.0001022156],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7913125,"threshold_uncertainty_score":0.7625625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03513085089192196,"score_gpt":0.3165719697226975,"score_spread":0.2814411188307755,"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."}}