{"id":"W4411260250","doi":"10.1145/3729261","title":"Certified Compilers à la Carte","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 Waterloo","funders":"","keywords":"Computer science; Programming language","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.0005892003,0.0001910101,0.0002521572,0.0001378638,0.0001803968,0.000323109,0.00355092,0.0001044863,0.000002264327],"category_scores_gemma":[0.0007293089,0.000125693,0.0001590536,0.0007251907,0.0001454379,0.0001910129,0.001105089,0.0002257853,0.00001023479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003748116,"about_ca_system_score_gemma":0.00004127432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007485876,"about_ca_topic_score_gemma":0.000004669594,"domain_scores_codex":[0.9986112,0.00002450645,0.0002872478,0.0003911241,0.0003350119,0.0003509483],"domain_scores_gemma":[0.9986663,0.0001432383,0.0002260268,0.0007363573,0.0001747307,0.00005327702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001786328,0.0001546098,0.008824479,0.000273024,0.00008513326,0.000003112541,0.002214422,0.000003304157,0.003458187,0.7801015,0.005200285,0.1996641],"study_design_scores_gemma":[0.002897609,0.0008412771,0.02213705,0.0006463064,0.0002180565,0.0000898308,0.007536852,0.001076899,0.2115982,0.1852668,0.5661542,0.001536838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5279179,0.004536658,0.01248871,0.0353913,0.004746081,0.005472892,0.000005719962,0.00421754,0.4052233],"genre_scores_gemma":[0.9907657,0.000006214376,0.006858272,0.0002551213,0.00005142715,0.00006221896,6.125904e-7,0.00001148351,0.001988967],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5948347,"threshold_uncertainty_score":0.6598551,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01829269854596447,"score_gpt":0.2719810110069347,"score_spread":0.2536883124609702,"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."}}