{"id":"W4241336885","doi":"10.1145/514001.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Binary number; Arithmetic; 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.0006191764,0.0002234947,0.0002192598,0.0002632536,0.0003044997,0.0008846176,0.001560659,0.000112022,0.0007189755],"category_scores_gemma":[0.0004457197,0.0002190737,0.00005248268,0.0007523572,0.00008568262,0.002701528,0.000193591,0.0002021787,0.0005942537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000610181,"about_ca_system_score_gemma":0.00007693745,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005268572,"about_ca_topic_score_gemma":2.019111e-7,"domain_scores_codex":[0.9980279,0.00005168568,0.0003890984,0.0005238355,0.0005433066,0.000464149],"domain_scores_gemma":[0.9984161,0.0001272411,0.0001904103,0.0004010898,0.0006921101,0.0001730884],"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.0000333933,0.0006585939,0.001074392,0.000578925,0.0001117638,0.00002130748,0.02840744,0.004608498,0.05940249,0.6240283,0.1957691,0.08530581],"study_design_scores_gemma":[0.0002684558,0.0001160489,0.0001930222,0.00004885323,0.000004470854,0.0000144795,0.00007985842,0.9744586,0.008547721,0.01362121,0.002377856,0.0002694732],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002280965,0.0001227254,0.971711,0.003361461,0.0003000397,0.0005268716,0.000002037074,0.001430882,0.02026405],"genre_scores_gemma":[0.7264605,0.0001549458,0.2694978,0.000389303,0.00004770244,0.0001053122,0.000002416809,0.00001600902,0.003326053],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9698501,"threshold_uncertainty_score":0.8933566,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1252185535176678,"score_gpt":0.2674677957404117,"score_spread":0.1422492422227439,"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."}}