{"id":"W1662824547","doi":"10.48550/arxiv.1010.1697","title":"Certifying cost annotations in compilers","year":2010,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Compiler; Programming language; Object code; Principle of compositionality; Compiler correctness; Scalability; Mathematical proof; Code (set theory); Code generation; Artificial intelligence; Database; Operating system; Set (abstract data type); Key (lock)","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002849412,0.0002384467,0.0002884047,0.0003369139,0.0001486354,0.0001950373,0.001578887,0.0003404116,0.00001927965],"category_scores_gemma":[0.00003098213,0.0002703694,0.0001378952,0.0006308669,0.0001025074,0.0003070812,0.001070807,0.0008930584,0.0001536821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001609013,"about_ca_system_score_gemma":0.0001826221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007098325,"about_ca_topic_score_gemma":0.001002501,"domain_scores_codex":[0.9983416,0.0001272681,0.0002194764,0.00085425,0.00008618584,0.0003712215],"domain_scores_gemma":[0.9984649,0.00009032203,0.0002156197,0.0009668909,0.0001203339,0.0001419183],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008468698,0.0001291182,0.02072221,0.0000817344,0.00003868054,0.0003789568,0.0008809154,0.05128956,0.00004572643,0.9233344,0.0002619248,0.002828345],"study_design_scores_gemma":[0.001231068,0.00006356715,0.01481138,0.00006113446,0.00004747848,0.00001667433,0.0004754823,0.8057809,0.0001154283,0.1584153,0.01779153,0.001190051],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08464547,0.0000530024,0.8985517,0.0001495976,0.001613525,0.0006377046,0.000004661165,0.0003344995,0.01400982],"genre_scores_gemma":[0.9980785,0.00002952659,0.001011634,0.00006766964,0.00007001442,0.000003214506,0.00001909295,0.00001237566,0.0007079811],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.913433,"threshold_uncertainty_score":0.9999748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1271858993241024,"score_gpt":0.2171337679932642,"score_spread":0.0899478686691618,"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."}}