{"id":"W2141682399","doi":"10.1007/978-3-642-30885-7_8","title":"Preventing Arithmetic Overflows in Alloy","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Counterexample; Spurious relationship; Computer science; Bounded function; Semantics (computer science); Programming language; Arithmetic; Range (aeronautics); Key (lock); Theoretical computer science; Algorithm; Discrete mathematics; Mathematics; Operating system","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001984392,0.0005244477,0.0006559771,0.0008105425,0.0001418483,0.0004148113,0.003140842,0.0003006653,0.00003391384],"category_scores_gemma":[0.0001652587,0.0004689283,0.0001565577,0.0009176383,0.0003821507,0.0007609733,0.001800226,0.001112474,0.00005587195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002734846,"about_ca_system_score_gemma":0.0002711741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004238955,"about_ca_topic_score_gemma":0.00002816691,"domain_scores_codex":[0.9958292,0.00009186818,0.0006461454,0.001445653,0.0009489713,0.001038168],"domain_scores_gemma":[0.9974634,0.0007023029,0.0002795899,0.001215182,0.00009909446,0.0002404215],"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.00000124379,0.00003986643,0.0001902318,0.00002508807,0.000004223918,0.00005896119,0.0002589946,0.002886443,0.0001326635,0.0096364,0.000002457062,0.9867634],"study_design_scores_gemma":[0.0003662721,0.000153919,0.001269566,0.0006715718,0.000008733226,0.00008940673,1.11508e-7,0.6957257,0.0008964481,0.2956679,0.004026202,0.001124079],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009219813,0.001205142,0.9937073,0.0004173892,0.002092212,0.0003345316,0.000001677458,0.000108317,0.002041235],"genre_scores_gemma":[0.02145171,0.00006468969,0.9766712,0.0008690587,0.000588881,0.00001077189,0.000001153182,0.00003358436,0.0003089037],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9856393,"threshold_uncertainty_score":0.9997762,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02226271050203656,"score_gpt":0.2745710218626587,"score_spread":0.2523083113606222,"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."}}