{"id":"W4312409458","doi":"10.1609/socs.v15i1.21749","title":"Portability and Explainability of Synthesized Formula-based Heuristics","year":2022,"lang":"en","type":"article","venue":"Proceedings of the International Symposium on Combinatorial Search","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Compute Canada; Natural Sciences and Engineering Research Council of Canada; Canadian Institute for Advanced Research","keywords":"Pathfinding; Heuristics; Computer science; Parameterized complexity; Heuristic; Simulated annealing; Theoretical computer science; Graph; Mathematical optimization; Fitness function; Algorithm; Genetic algorithm; Artificial intelligence; Machine learning; Mathematics; Shortest path problem","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.00115917,0.0007784857,0.0004955277,0.0006820597,0.0003442788,0.001605611,0.001258153,0.0008225776,0.004684803],"category_scores_gemma":[0.01349698,0.0003738418,0.0007939236,0.0005061597,0.0007815184,0.001271891,0.0007230234,0.0008335512,0.0004351715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001236346,"about_ca_system_score_gemma":0.001681725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002798693,"about_ca_topic_score_gemma":0.003200675,"domain_scores_codex":[0.9988369,0.0003846108,0.00008188625,0.0002096934,0.0003840405,0.0001028191],"domain_scores_gemma":[0.9946439,0.003799382,0.0002294628,0.0007700262,0.000499404,0.00005787249],"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.0001956356,0.0001782989,0.001728056,0.0003629484,0.00006105381,0.0002340461,0.000318665,0.7853362,0.01402166,0.04701058,0.001278683,0.1492742],"study_design_scores_gemma":[0.00006918501,0.000133564,0.0002561942,0.00004021633,0.00003803472,0.00006182871,0.00008942137,0.9667965,0.00935784,0.01946101,0.003682285,0.00001393995],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1514309,0.000242529,0.8334966,0.0002769066,0.00009675866,0.0002747905,0.0004917406,0.002716918,0.01097287],"genre_scores_gemma":[0.5759999,0.000203963,0.4202773,0.0001031871,0.00001595654,0.0003771389,0.000649805,0.0005368758,0.001835824],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004684803,"threshold_uncertainty_score":0.01567227,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01996115988541072,"score_gpt":0.2687441206505433,"score_spread":0.2487829607651326,"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."}}