{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.000675182,0.0003490443,0.0005956274,0.0001384159,0.0001822995,0.0005077324,0.005937856,0.0002976203,0.00001799919],"category_scores_gemma":[0.0004348986,0.0002861308,0.0001766192,0.00008163557,0.0001378984,0.0002295403,0.003808752,0.0003982772,0.0001268524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004246748,"about_ca_system_score_gemma":0.0001943034,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002649547,"about_ca_topic_score_gemma":0.0004881886,"domain_scores_codex":[0.9975443,0.0001255949,0.0005196206,0.0007812249,0.0006061584,0.0004231336],"domain_scores_gemma":[0.9949704,0.000219499,0.001100498,0.003405977,0.0001818175,0.0001217934],"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.0001264501,0.0008006802,0.07053193,0.005199204,0.001808867,0.0004207963,0.01378676,0.00266287,0.0006241995,0.5302999,0.03689252,0.3368458],"study_design_scores_gemma":[0.00388909,0.001611471,0.02886336,0.0009112565,0.0005998092,0.00006365026,0.000510996,0.02250716,0.00450555,0.5596709,0.3720945,0.004772223],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5024903,0.01463767,0.1720042,0.01065819,0.06430779,0.007390849,0.0002967118,0.003318384,0.2248959],"genre_scores_gemma":[0.9940246,0.00004914381,0.004142161,0.00006780028,0.0003405597,0.00003556528,0.00007517684,0.00001767098,0.001247282],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4915343,"threshold_uncertainty_score":0.9999591,"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."}}