{"id":"W4399261743","doi":"10.1609/socs.v17i1.31549","title":"Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP","year":2024,"lang":"en","type":"article","venue":"Proceedings of the International Symposium on Combinatorial Search","topic":"Image and Object Detection Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Vector Institute","funders":"Natural Sciences and Engineering Research Council of Canada; Canadian Institute for Advanced Research","keywords":"Sequence (biology); Vehicle routing problem; Computer science; Beam search; Mathematical optimization; Mathematics; Algorithm; Search algorithm; Biology; Routing (electronic design automation); Genetics; Computer network","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002977125,0.0008579436,0.0008875685,0.0006088307,0.0006362112,0.0009124021,0.001390065,0.002095623,0.003693695],"category_scores_gemma":[0.009453777,0.0005100296,0.0008542613,0.001342942,0.00128613,0.001254141,0.0009997773,0.00195271,0.0002981534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001215978,"about_ca_system_score_gemma":0.001295508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007358511,"about_ca_topic_score_gemma":0.008405427,"domain_scores_codex":[0.9983262,0.001001341,0.00005782427,0.0002081879,0.0002821501,0.0001242635],"domain_scores_gemma":[0.9909512,0.007917095,0.0002258604,0.000327814,0.0004529457,0.0001250607],"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.0001035346,0.0001198662,0.0006232581,0.0001506844,0.00003407626,0.0002639838,0.0001462238,0.9350295,0.001227672,0.02070309,0.00159123,0.04000683],"study_design_scores_gemma":[0.00004644985,0.00008257302,0.0001126212,0.00001554066,0.00001147554,0.00007086493,0.00005206087,0.9819473,0.001166215,0.0146429,0.001843665,0.000008186495],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1117662,0.001134854,0.8761162,0.0009496347,0.00006657014,0.0002885084,0.0002682068,0.0007499713,0.008659809],"genre_scores_gemma":[0.4689768,0.0004935848,0.5260803,0.0003095915,0.00003540751,0.0003114412,0.0003619819,0.000209975,0.003220966],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007358511,"threshold_uncertainty_score":0.01574469,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02698770765650642,"score_gpt":0.2916023087667478,"score_spread":0.2646146011102414,"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."}}