{"id":"W4401596910","doi":"10.1145/3674649","title":"Staged Compilation with Module Functors","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Functor; Programming language; Computer science; Mathematics; Pure mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0004758846,0.0001877355,0.0001867895,0.0001217243,0.0001396655,0.0005325377,0.001814926,0.00006490675,0.000004534612],"category_scores_gemma":[0.0002158467,0.0001044846,0.0000970265,0.0007095832,0.00008823012,0.0004067422,0.0004620914,0.0002116617,0.00001780339],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004212701,"about_ca_system_score_gemma":0.0000328149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003749339,"about_ca_topic_score_gemma":0.000004952232,"domain_scores_codex":[0.9985806,0.00001265978,0.0002150821,0.0004104157,0.0004789527,0.0003022509],"domain_scores_gemma":[0.9990537,0.00007832215,0.0001469214,0.0005221358,0.000141769,0.00005721486],"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.00003883901,0.0001772723,0.0200782,0.0008647103,0.0001673745,0.00001413557,0.007138316,0.00002336446,0.00472922,0.6763623,0.00232329,0.288083],"study_design_scores_gemma":[0.003956517,0.00769061,0.04359916,0.002359462,0.0005543085,0.0005449973,0.01371107,0.01459021,0.3942347,0.1656171,0.3487696,0.004372197],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9302322,0.00423437,0.02950191,0.007589108,0.002208834,0.003246801,0.000008380855,0.004331802,0.01864656],"genre_scores_gemma":[0.985153,0.0000037579,0.01367552,0.00005794337,0.0001135195,0.00005010456,0.000001902059,0.000021882,0.0009223446],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5107452,"threshold_uncertainty_score":0.5135273,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0172354960443027,"score_gpt":0.2523212622960378,"score_spread":0.2350857662517351,"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."}}