{"id":"W2949241294","doi":"10.1145/3341692","title":"Approximate normalization for gradual dependent types","year":2019,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"FP7 Ideas: European Research Council; Comisión Nacional de Investigación Científica y Tecnológica; Natural Sciences and Engineering Research Council of Canada","keywords":"Normalization (sociology); Soundness; Decidability; Type inference; Static analysis; Type (biology); Program analysis; Type theory; Data type","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.0005323443,0.0001639032,0.0002051272,0.0000815332,0.0001126082,0.000230082,0.002206725,0.00007794775,0.000002943204],"category_scores_gemma":[0.0004119377,0.0001065537,0.0001213864,0.0002997363,0.00003776969,0.000303206,0.0005821964,0.00009805491,0.00001707668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002832301,"about_ca_system_score_gemma":0.00002029841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002677744,"about_ca_topic_score_gemma":0.000002813608,"domain_scores_codex":[0.9986966,0.000009183389,0.000247406,0.0003564178,0.0003610875,0.0003293452],"domain_scores_gemma":[0.9988395,0.00006410207,0.0003044766,0.0005234438,0.0002235447,0.0000449074],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004574983,0.0002177002,0.0246782,0.0008147422,0.00008480826,7.241571e-7,0.003790134,0.00002065817,0.006616278,0.8222534,0.0006125844,0.140865],"study_design_scores_gemma":[0.006055324,0.004426743,0.007362857,0.0004411929,0.0002749231,0.0001754912,0.006409816,0.011121,0.6554306,0.1997545,0.105871,0.002676627],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8896633,0.002090997,0.06686609,0.004980838,0.003698912,0.01033214,0.000009322835,0.002066607,0.02029183],"genre_scores_gemma":[0.9794537,0.00000452222,0.01920969,0.00009004511,0.00008825987,0.0001124438,0.000002680745,0.00001871652,0.001019984],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6488143,"threshold_uncertainty_score":0.4345135,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01674766759670279,"score_gpt":0.2576217341192946,"score_spread":0.2408740665225918,"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."}}