{"id":"W4399851446","doi":"10.1145/3656445","title":"SpEQ: Translation of Sparse Codes using Equivalences","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":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Translation (biology); Computer science; Biology; Genetics","routes":{"ca_aff":true,"ca_fund":true,"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.0006887923,0.000163987,0.0002351965,0.0001445066,0.00008730179,0.0002506653,0.001879927,0.0000752589,0.000004000947],"category_scores_gemma":[0.000263609,0.0001048359,0.0001631319,0.0006765356,0.0001367067,0.0003940255,0.0003415499,0.0001421422,0.000004089013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002475023,"about_ca_system_score_gemma":0.00003877994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001027092,"about_ca_topic_score_gemma":0.000004156085,"domain_scores_codex":[0.998584,0.00001578721,0.0003358779,0.0003400366,0.0004555899,0.0002687162],"domain_scores_gemma":[0.9991092,0.00011298,0.0002208225,0.0003871314,0.000128949,0.00004089994],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002128577,0.0001687134,0.006504982,0.001869194,0.0001409186,0.000006973532,0.01127772,0.00002760064,0.05357469,0.3582732,0.0002053293,0.5679294],"study_design_scores_gemma":[0.001050407,0.001662589,0.002262505,0.002156886,0.0003897441,0.0002241738,0.008517339,0.0225275,0.7802548,0.1530717,0.02645345,0.001428886],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9565898,0.012283,0.01855612,0.002043512,0.001517954,0.001557718,0.000005354705,0.000968521,0.00647804],"genre_scores_gemma":[0.9633952,0.00002038586,0.03631694,0.00001663548,0.0001034423,0.00001320933,5.207009e-7,0.00001406576,0.0001195288],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7266801,"threshold_uncertainty_score":0.4275083,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05207368916312324,"score_gpt":0.3068119067114592,"score_spread":0.254738217548336,"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."}}