{"id":"W4313680212","doi":"10.48550/arxiv.2301.01913","title":"Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver","year":2023,"lang":"en","type":"preprint","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Centre interuniversitaire de recherche sur les reseaux d'entreprise, la logistique et le transport","keywords":"Heuristics; Solver; Computer science; Heuristic; Mathematical optimization; Artificial intelligence; Graph; Constraint satisfaction problem; Machine learning; Theoretical computer science; Mathematics; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002322509,0.001244962,0.001175662,0.0006897361,0.000449646,0.001550787,0.002000151,0.002261053,0.005873791],"category_scores_gemma":[0.007782215,0.0005894896,0.0009912986,0.00106288,0.001393148,0.001745352,0.001783406,0.002652771,0.001084034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001216729,"about_ca_system_score_gemma":0.002322513,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001981788,"about_ca_topic_score_gemma":0.003357821,"domain_scores_codex":[0.9985398,0.0005659712,0.00007558391,0.0003589174,0.0002693084,0.0001904573],"domain_scores_gemma":[0.9972622,0.001845509,0.0002311506,0.0002742867,0.0002747218,0.0001120934],"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.000121139,0.0001507255,0.001032638,0.000289774,0.00006618443,0.0001639603,0.0001084259,0.7607576,0.003298051,0.06898252,0.005955418,0.1590737],"study_design_scores_gemma":[0.00001829141,0.00002065777,0.00004611128,0.00001663654,0.000006728827,0.00002157278,0.0000106192,0.9810225,0.0009070426,0.0168582,0.001065699,0.000005778702],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005877286,0.0001001485,0.9908686,0.0002208875,0.0000283353,0.00006945318,0.00005118271,0.0005401624,0.002243948],"genre_scores_gemma":[0.2037424,0.0001923855,0.7922129,0.0003943056,0.00007032827,0.0003019025,0.0002544243,0.0003281905,0.002503093],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005873791,"threshold_uncertainty_score":0.0196498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01976041773586389,"score_gpt":0.2445285228191116,"score_spread":0.2247681050832477,"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."}}