{"id":"W2949526574","doi":"10.1145/3093333.3009865","title":"Sums of uncertainty: refinements go gradual","year":2017,"lang":"en","type":"preprint","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; University of British Columbia","funders":"","keywords":"Computer science; Sublanguage; Programming language; Type (biology); Property (philosophy); Type safety; Matching (statistics); Type theory; Exception handling; Dependent type; Translation (biology); Theoretical computer science; Algorithm; Mathematics; Lambda calculus","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008616839,0.0008772798,0.0009559637,0.001908655,0.002233511,0.005523638,0.002132551,0.001837459,0.005435162],"category_scores_gemma":[0.04162178,0.001828703,0.002477442,0.001275329,0.01074551,0.01794006,0.01027842,0.006234035,0.0009304783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002511182,"about_ca_system_score_gemma":0.001902883,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003717507,"about_ca_topic_score_gemma":0.002911699,"domain_scores_codex":[0.9886703,0.002879484,0.0008370566,0.00222719,0.004308323,0.001077577],"domain_scores_gemma":[0.9722153,0.01356893,0.001881149,0.008046498,0.00342399,0.0008642357],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007010212,0.00001303147,0.0008338376,0.00007418459,0.00003245831,0.0002098325,0.001271935,0.007349807,0.001473631,0.9753838,0.0008603213,0.01242697],"study_design_scores_gemma":[0.00002110613,0.00002891244,0.0002248063,0.00005733701,0.00005190762,0.0001600034,0.0002698347,0.02045382,0.002983166,0.9627901,0.01291219,0.00004680785],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05058348,0.0006305198,0.9235119,0.002193832,0.000220439,0.00009754953,0.0002009152,0.001640665,0.02092065],"genre_scores_gemma":[0.739885,0.0007166616,0.2406774,0.00104163,0.0002634707,0.000253397,0.0002930485,0.001377361,0.01549201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008616839,"threshold_uncertainty_score":0.04557073,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.067837250469205,"score_gpt":0.3078142686404972,"score_spread":0.2399770181712922,"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."}}