{"id":"W2057075507","doi":"10.1145/1852761.1852773","title":"Local redundant polymorphism query elimination","year":2010,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Polymorphism (computer science); Genetic programming; Feature (linguistics); Programming language; Artificial intelligence; Biology; Genetics; Genotype; Linguistics; Gene","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.0002890544,0.00008293572,0.0000851833,0.0000618316,0.00008937166,0.0001466775,0.000459989,0.00007891704,0.00005803886],"category_scores_gemma":[0.00002115179,0.00006248143,0.00004339415,0.0001553885,0.00005735345,0.0002884032,0.0001064092,0.0001350115,0.0003554253],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001439629,"about_ca_system_score_gemma":0.00004863678,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003211772,"about_ca_topic_score_gemma":0.0001514615,"domain_scores_codex":[0.9991864,0.00002458018,0.0001463494,0.0002411143,0.0001983023,0.0002032375],"domain_scores_gemma":[0.9993764,0.00002705319,0.00005015972,0.0004041294,0.00006079442,0.00008149859],"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":[6.794295e-7,0.00002664712,0.0001043221,0.00000307595,0.00000282607,0.000007929118,0.0001678716,8.526383e-7,0.002373924,0.8825961,0.0009534705,0.1137623],"study_design_scores_gemma":[0.001391101,0.0005690151,0.01976766,0.000007342831,0.00002011454,0.0006691518,0.0003613093,0.1179663,0.0881834,0.2358682,0.5338165,0.001379957],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00335567,0.00003064455,0.9566637,0.00119552,0.001564418,0.00009615841,7.205486e-8,0.0002844292,0.03680938],"genre_scores_gemma":[0.9876359,0.000001360578,0.00837918,0.0002166406,0.0001339781,0.000009031201,0.00000135301,0.000004889039,0.00361772],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9842802,"threshold_uncertainty_score":0.4568392,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01379071694036828,"score_gpt":0.2351290594451407,"score_spread":0.2213383425047724,"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."}}