{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006712117,0.001517247,0.001313396,0.005830992,0.001196024,0.002974784,0.002798088,0.001640155,0.001657509],"category_scores_gemma":[0.06911979,0.001418229,0.001079216,0.003480646,0.001695777,0.005005128,0.004325201,0.00208683,0.0008328322],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009917,"about_ca_system_score_gemma":0.003008222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003484616,"about_ca_topic_score_gemma":0.005143238,"domain_scores_codex":[0.982495,0.003459967,0.00145926,0.00289011,0.008893972,0.0008017272],"domain_scores_gemma":[0.9135941,0.03656161,0.0158444,0.02389337,0.009423046,0.0006834933],"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.001002384,0.0005529568,0.2871114,0.001895122,0.0005750394,0.002384375,0.006778933,0.03758696,0.07523809,0.01857322,0.01307749,0.5552241],"study_design_scores_gemma":[0.0001393995,0.0006858677,0.09485826,0.0006406112,0.0006450207,0.002774513,0.002216757,0.6273553,0.1809953,0.03865534,0.05061341,0.0004202313],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.236394,0.000637785,0.7048904,0.0004725775,0.0001318359,0.0003259683,0.001152274,0.05228696,0.003708179],"genre_scores_gemma":[0.6669574,0.0001807621,0.32409,0.0002909157,0.00005627818,0.0002629513,0.002107273,0.004216651,0.001837712],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006712117,"threshold_uncertainty_score":0.03549755,"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."}}