{"id":"W2022012038","doi":"10.1145/2502488.2502493","title":"Multi-polymorphic programming in bondi","year":2013,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Programming language; Computer science; Programming paradigm; Path (computing); Context (archaeology); Computation; Declarative programming; Theoretical computer science; Inductive programming","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002400017,0.0001187886,0.0001421273,0.0001111581,0.00005440195,0.0003189767,0.0006065096,0.00006790697,0.00006153165],"category_scores_gemma":[0.00002203179,0.00008936727,0.00004680172,0.0003924667,0.00002989875,0.0005202973,0.0001723172,0.0001053683,0.001031772],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002780997,"about_ca_system_score_gemma":0.00003012223,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002212948,"about_ca_topic_score_gemma":0.0002642793,"domain_scores_codex":[0.9988264,0.0000462528,0.0002303716,0.0003272415,0.0001634816,0.0004062433],"domain_scores_gemma":[0.9993755,0.00002634589,0.00005368386,0.0004048554,0.00004296537,0.00009665192],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[9.514288e-7,0.0003361222,0.05337399,0.00003791209,0.00001392156,0.00004689931,0.001767755,0.000007010975,0.001023386,0.4010322,0.00117645,0.5411834],"study_design_scores_gemma":[0.007376384,0.00102083,0.221597,0.00005422017,0.0000172106,0.0003275499,0.001762653,0.3755811,0.005904377,0.06928531,0.3134571,0.003616209],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01304116,0.0003408757,0.9713851,0.0008399138,0.0006002759,0.0009416385,4.823183e-8,0.0006375386,0.01221341],"genre_scores_gemma":[0.9262223,0.00000185722,0.07016644,0.0001635027,0.00004130732,0.0001244627,7.226421e-7,0.000006776007,0.003272689],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9131811,"threshold_uncertainty_score":0.999746,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02857940199603974,"score_gpt":0.2488170118049521,"score_spread":0.2202376098089123,"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."}}