{"id":"W2735411563","doi":"10.1145/3092703.3092722","title":"Lightweight detection of physical unit inconsistencies without program annotations","year":2017,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Institute of Food and Agriculture; University of Nebraska-Lincoln; University of Toronto; Carnegie Mellon University; U.S. Department of Agriculture; National Science Foundation","keywords":"Computer science; Consistency (knowledge bases); Unit (ring theory); Cyber-physical system; Class (philosophy); Unit testing; Domain (mathematical analysis); Annotation; Static analysis; Artificial intelligence; Programming language; Operating system; Software","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.0001172904,0.00006430366,0.00009482353,0.00008537663,0.0002025562,0.0002017724,0.0007984593,0.0000255876,0.000002119354],"category_scores_gemma":[0.0004799167,0.00005248626,0.00004058769,0.0001459747,0.0001011754,0.0004350545,0.0002352344,0.00008858724,0.00002353419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001289407,"about_ca_system_score_gemma":0.00004484573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005454076,"about_ca_topic_score_gemma":0.00002735299,"domain_scores_codex":[0.9993345,0.00001608326,0.00008584772,0.0001589734,0.0002586159,0.000145983],"domain_scores_gemma":[0.998816,0.0001778002,0.00005234045,0.0007270156,0.0001736578,0.00005319808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00001270809,0.0008005789,0.1407247,0.0001381278,0.0001193078,0.0000168649,0.002761639,0.0002722373,0.1080095,0.05588432,0.000184909,0.6910752],"study_design_scores_gemma":[0.0002963749,0.0003673442,0.6304427,0.00002920897,0.000006887196,0.000008890526,0.00002569337,0.1226861,0.2423066,0.001274537,0.002359086,0.0001964804],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7868865,0.00001050317,0.2097595,0.0002884277,0.0001363101,0.0002162496,7.31757e-7,0.0004759734,0.002225857],"genre_scores_gemma":[0.9724349,7.919506e-7,0.0271192,0.000004483825,0.00003745801,0.00003600568,2.830079e-7,0.000004859146,0.0003619803],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6908787,"threshold_uncertainty_score":0.2140328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03159264084184175,"score_gpt":0.3212755304476779,"score_spread":0.2896828896058362,"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."}}