{"id":"W4385802534","doi":"10.1007/s10009-023-00714-1","title":"Publisher Correction: Algorithm selection for SMT","year":2023,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Vehicle Routing Optimization Methods","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Theory of computation; Computer science; Selection (genetic algorithm); Algorithm; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004689871,0.002513889,0.002584654,0.005576381,0.00345529,0.005082667,0.003926994,0.004341996,0.1920172],"category_scores_gemma":[0.09478725,0.0011785,0.002421728,0.005390828,0.001681173,0.003510332,0.002314898,0.00723762,0.07946075],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00329176,"about_ca_system_score_gemma":0.00503754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01010507,"about_ca_topic_score_gemma":0.01218546,"domain_scores_codex":[0.9929842,0.001613852,0.0009700962,0.001089084,0.002947772,0.0003951447],"domain_scores_gemma":[0.9325325,0.01264808,0.001670384,0.006933466,0.04504501,0.001170609],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005204216,0.000009859346,0.00009959495,0.0001747191,0.00003032418,0.000115968,0.00001843527,0.0005451475,0.0001320914,0.00328648,0.9750744,0.02046086],"study_design_scores_gemma":[0.0001326952,0.00007570913,0.001293567,0.0004318257,0.0001162177,0.0007383912,0.00007416595,0.01035341,0.002140292,0.01428259,0.970265,0.00009627232],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"other","genre_scores_codex":[0.0007591739,0.001380334,0.03320641,0.02546103,0.9115033,0.00009187239,0.004340394,0.006337506,0.01692003],"genre_scores_gemma":[0.05834415,0.004461487,0.1261988,0.02825408,0.2340557,0.000643287,0.01524243,0.02449556,0.5083045],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.1920172,"threshold_uncertainty_score":0.6423615,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02441611369221025,"score_gpt":0.2934872561343329,"score_spread":0.2690711424421226,"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."}}