{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004717716,0.0006856557,0.0007390938,0.001161658,0.001188316,0.004082909,0.001670868,0.001158111,0.009358573],"category_scores_gemma":[0.0193775,0.001117346,0.001444935,0.0008537296,0.002727962,0.004631758,0.0026946,0.003402931,0.002966667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001822858,"about_ca_system_score_gemma":0.004310763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002269553,"about_ca_topic_score_gemma":0.0029978,"domain_scores_codex":[0.9930895,0.001743337,0.0003192503,0.0008962643,0.003419131,0.0005325714],"domain_scores_gemma":[0.9855095,0.004211933,0.0005905706,0.006895989,0.0025038,0.0002882964],"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.0002702422,0.0001539892,0.001820716,0.0003719605,0.00008093192,0.0004403345,0.0004624722,0.03174403,0.02060998,0.7702808,0.01993463,0.1538299],"study_design_scores_gemma":[0.0002563582,0.0002796934,0.0008029372,0.0003567837,0.000131088,0.001094791,0.0002196304,0.2373839,0.1055444,0.3403457,0.3134505,0.0001342987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02299161,0.0005126274,0.9378096,0.001301927,0.0005301378,0.0001607828,0.0002783274,0.01577995,0.02063499],"genre_scores_gemma":[0.2738316,0.0009306129,0.688439,0.001056433,0.0003212086,0.0002880831,0.0008946669,0.006290039,0.02794844],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009358573,"threshold_uncertainty_score":0.03130758,"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."}}