{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00162012,0.0001212855,0.0002038314,0.0000853092,0.0002276933,0.00006673363,0.002218329,0.00003894212,0.00003482693],"category_scores_gemma":[0.0008081409,0.000102347,0.0001138417,0.0003268129,0.0002287625,0.0001914038,0.00128448,0.0002807658,8.627368e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002430606,"about_ca_system_score_gemma":0.0001193932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001517582,"about_ca_topic_score_gemma":0.000001049859,"domain_scores_codex":[0.9975884,0.00004617705,0.0004585203,0.0003594638,0.00135685,0.0001905979],"domain_scores_gemma":[0.9981289,0.0005591871,0.0002691514,0.000256054,0.0007289259,0.00005780117],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003999717,0.000736981,0.03751477,0.00007681951,0.0000328029,6.673131e-7,0.0007551531,0.0005270616,0.03135687,0.927052,0.0001843818,0.001362486],"study_design_scores_gemma":[0.0005401112,0.0005877494,0.003826785,0.00004382687,0.00001219631,0.000005755665,0.0003479706,0.04636596,0.7631292,0.1839961,0.0009306442,0.0002137658],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9896816,0.000008617169,0.0004159002,0.004977038,0.001920866,0.0003995861,0.00001852307,0.00003658708,0.002541263],"genre_scores_gemma":[0.9991395,0.000002187051,0.0006530356,0.00006313821,0.00005772717,0.00004593586,5.648705e-7,0.000008357522,0.00002952198],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.743056,"threshold_uncertainty_score":0.4173589,"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."}}