{"id":"W4382866757","doi":"10.1609/icaps.v33i1.27218","title":"Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning","year":2023,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Israel Academy of Sciences and Humanities","keywords":"Satisficing; Pruning; Symmetry (geometry); Symmetry breaking; Heuristic; Homogeneous space; Mathematics; Symmetry group; Rotational symmetry; Mathematical optimization; Computer science; Algorithm; Artificial intelligence; Physics; Geometry","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.0007050325,0.0001704701,0.0001866855,0.0004221788,0.000206424,0.0002669616,0.000535801,0.0001009842,0.000001843576],"category_scores_gemma":[0.0002569526,0.0001455413,0.00003230213,0.000583406,0.00004860896,0.0003757266,0.0002786878,0.0003888748,0.000003558934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003630363,"about_ca_system_score_gemma":0.00003904677,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003867142,"about_ca_topic_score_gemma":5.487205e-7,"domain_scores_codex":[0.9987063,0.00001562414,0.0003047048,0.0003707728,0.000338171,0.0002644288],"domain_scores_gemma":[0.9992918,0.0001824228,0.0002443702,0.00007420747,0.0001479055,0.00005924923],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004276469,0.0001307824,0.4882433,0.0005661306,0.0002870892,0.00008646384,0.02278004,0.1956386,0.1888458,0.0552331,0.0004348748,0.04732622],"study_design_scores_gemma":[0.0002934451,0.00005208328,0.01994299,0.001224904,0.000005247581,0.00004311686,0.0007000796,0.9713467,0.005539457,0.0006555308,0.00003670645,0.0001597712],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9934923,0.00008083081,0.003242655,0.00082238,0.0003699186,0.0001250302,0.000003574347,0.0005500158,0.001313262],"genre_scores_gemma":[0.9928269,0.00001365358,0.006949222,0.00009283964,0.00003984739,0.00001316001,0.000002912444,0.00001137754,0.00005002654],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.775708,"threshold_uncertainty_score":0.5935001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03892980605732845,"score_gpt":0.2994059916473015,"score_spread":0.2604761855899731,"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."}}