{"id":"W2018660239","doi":"10.1016/j.orl.2008.09.006","title":"Certification of an optimal TSP tour through 85,900 cities","year":2008,"lang":"en","type":"article","venue":"Operations Research Letters","topic":"Vehicle Routing Optimization Methods","field":"Engineering","cited_by":171,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Travelling salesman problem; Certification; Code (set theory); Traveling purchaser problem; Computer science; Mathematical optimization; Operations research; Bottleneck traveling salesman problem; Mathematics; Programming language; Economics","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.0006290692,0.0001042061,0.0001332882,0.0002152678,0.0003861142,0.00007234568,0.0002529063,0.00006395906,0.0002572661],"category_scores_gemma":[0.0001961404,0.0001115342,0.00003635674,0.0005657591,0.000276155,0.0006163678,0.00003425129,0.0002888387,0.00004107712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009976253,"about_ca_system_score_gemma":0.00005871126,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001117361,"about_ca_topic_score_gemma":0.00001373021,"domain_scores_codex":[0.9984382,0.0003142454,0.0002916674,0.0001949775,0.0004502444,0.00031063],"domain_scores_gemma":[0.9991372,0.00009971079,0.00001169903,0.0004202596,0.0002611264,0.00007002623],"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.000005313615,0.00002294969,0.00005647936,0.00001516695,0.00001400107,0.00000393555,0.002044487,0.8788697,0.1136928,0.000161934,0.00453419,0.0005790983],"study_design_scores_gemma":[0.000213586,0.00004561317,0.001047087,0.00001546208,0.000003721745,0.00001621407,0.0004497526,0.877345,0.11915,0.000008702331,0.001549876,0.0001549596],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8182901,0.00005175012,0.1774899,0.001463656,0.00008579887,0.0002382211,0.00001405084,0.0001548268,0.002211744],"genre_scores_gemma":[0.7716902,0.00007246708,0.2276123,0.00008996329,0.0001104124,0.00006297376,0.00005461152,0.00003572444,0.000271301],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05012248,"threshold_uncertainty_score":0.4548233,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1210279980760836,"score_gpt":0.374011808626763,"score_spread":0.2529838105506794,"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."}}