{"id":"W2124504744","doi":"10.1016/j.scico.2005.10.012","title":"Gaussian Elimination: A case study in efficient genericity with MetaOCaml","year":2006,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Implementation; Gaussian elimination; Code (set theory); Gaussian; Code generation; Programming language; Algorithm; Theoretical computer science; Parallel computing; Mathematical optimization; Key (lock); Operating system; Mathematics","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.00142556,0.0001698645,0.0002352346,0.0005939875,0.0002568823,0.0003386373,0.001020948,0.00003824725,6.426968e-7],"category_scores_gemma":[0.000009837704,0.0001385194,0.00003751315,0.003173147,0.0002834582,0.0004159377,0.0003810777,0.0001528364,9.697094e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007519658,"about_ca_system_score_gemma":0.0001825014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005186938,"about_ca_topic_score_gemma":0.00008267158,"domain_scores_codex":[0.9977814,0.0000915074,0.0004132348,0.0006242531,0.0006657511,0.000423856],"domain_scores_gemma":[0.9988508,0.00004570044,0.0002132866,0.0005366359,0.0002782346,0.00007529998],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001042036,0.002260051,0.0133292,0.00003174548,0.00001221917,0.001550513,0.004141808,0.662443,0.0001466731,0.01676981,0.00002891029,0.2992757],"study_design_scores_gemma":[0.0004586437,0.0005805487,0.008077745,0.00003490888,0.000005300664,0.0005645409,0.0001763328,0.9883599,0.001335434,0.0001364451,0.0000372387,0.0002329419],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3943353,0.00001796314,0.60487,0.00007161086,0.00006620245,0.000338377,8.735378e-8,0.0001660584,0.0001343219],"genre_scores_gemma":[0.5628178,1.505799e-7,0.4371265,0.0000116341,0.00002004267,0.0000158658,2.198012e-7,0.000003581155,0.000004141375],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3259169,"threshold_uncertainty_score":0.5648656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01369903974349951,"score_gpt":0.2697930863575647,"score_spread":0.2560940466140652,"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."}}