{"id":"W3108921083","doi":"10.1145/3428210","title":"Precise inference of expressive units of measurement types","year":2020,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Air Force Research Laboratory; Ministère de l’Éducation, Gouvernement de l’Ontario; Natural Sciences and Engineering Research Council of Canada; Defense Advanced Research Projects Agency; Government of Ontario","keywords":"Computer science; Correctness; Type inference; Java; Programming language; Scalability; Data type; Inference; Annotation; Computation; Software inspection; Unit testing; Extensibility; Software; Theoretical computer science; Software development; Artificial intelligence; Database; Software quality","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004508563,0.0001568977,0.0003097265,0.00006102821,0.00004807149,0.00005345429,0.00277537,0.00006506277,0.000003255595],"category_scores_gemma":[0.003711176,0.0001023172,0.00009227968,0.0006907024,0.0001154618,0.0001897,0.0009105334,0.0001322329,0.000002571795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001714235,"about_ca_system_score_gemma":0.00006313257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005170623,"about_ca_topic_score_gemma":0.000001959105,"domain_scores_codex":[0.9984076,0.00001986098,0.0003756307,0.0002841663,0.0006959687,0.0002167735],"domain_scores_gemma":[0.997874,0.00007766576,0.0006374493,0.000453076,0.0008859127,0.00007189378],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001703742,0.0006264715,0.0348251,0.003388865,0.0003559765,0.000004245024,0.05407717,0.0000432706,0.2362971,0.275061,0.001735662,0.3934148],"study_design_scores_gemma":[0.0004733333,0.0008598239,0.00111209,0.0002635612,0.00004865164,0.000003232575,0.002204472,0.0001697136,0.9859775,0.005071323,0.003580501,0.0002357464],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9639356,0.004970482,0.01028099,0.004876363,0.0006731555,0.003409893,0.00001094764,0.0006768794,0.01116571],"genre_scores_gemma":[0.9906023,0.00001012457,0.00922819,0.00004194255,0.00004385976,0.00002823317,3.547361e-7,0.00001032665,0.00003471508],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7496805,"threshold_uncertainty_score":0.5157374,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05754636231231046,"score_gpt":0.2715869837430079,"score_spread":0.2140406214306974,"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."}}