{"id":"W4409311654","doi":"10.1145/3720437","title":"Type-Preserving Flat Closure Optimization","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Closure (psychology); Computer science; Mathematics; Geometry; Economics","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.003623339,0.0006200277,0.0006298423,0.001074796,0.001511865,0.003237899,0.002119915,0.0008153217,0.004241181],"category_scores_gemma":[0.00956762,0.0005749281,0.001626987,0.001101498,0.002881353,0.005022329,0.003567891,0.003157264,0.001215974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001702693,"about_ca_system_score_gemma":0.003383991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003360301,"about_ca_topic_score_gemma":0.003640557,"domain_scores_codex":[0.9953864,0.000659781,0.000351763,0.0006729942,0.002084312,0.0008447866],"domain_scores_gemma":[0.9933982,0.001409653,0.0003319921,0.00326748,0.001401241,0.0001914655],"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.0002668953,0.0001652324,0.001395881,0.0002427101,0.00004548599,0.0004301253,0.0008306192,0.02489136,0.02150849,0.8437903,0.00826942,0.09816348],"study_design_scores_gemma":[0.0000898338,0.0001704746,0.0008578364,0.0001503394,0.0001621663,0.0005864381,0.0005029811,0.1810574,0.09262901,0.6579506,0.06571167,0.000131269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04217592,0.000193609,0.9281917,0.0005167627,0.000298421,0.0002089375,0.0003716252,0.005962829,0.02208012],"genre_scores_gemma":[0.607434,0.0003117234,0.3723557,0.0006676327,0.0001544502,0.0002551465,0.0005904243,0.002327041,0.01590388],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004241181,"threshold_uncertainty_score":0.01916224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.014850059535449,"score_gpt":0.2672139658910845,"score_spread":0.2523639063556355,"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."}}