{"id":"W4312605127","doi":"10.1609/icaps.v32i1.19803","title":"LM-Cut Heuristics for Optimal Linear Numeric Planning","year":2022,"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":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Heuristics; Heuristic; Mathematical optimization; Simple (philosophy); Computer science; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"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.0006942575,0.0001913296,0.0002108787,0.0001840969,0.0006569842,0.0002442225,0.001315151,0.00005689248,0.00001213772],"category_scores_gemma":[0.0002686292,0.000167742,0.00007540537,0.0002459777,0.0000469998,0.0002216284,0.0005070019,0.000430026,0.000001335934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005408168,"about_ca_system_score_gemma":0.0001053889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000097841,"about_ca_topic_score_gemma":4.371164e-8,"domain_scores_codex":[0.9984452,0.00001665162,0.0003486326,0.0003965326,0.0005138251,0.0002792246],"domain_scores_gemma":[0.9988988,0.0002255278,0.000400175,0.0001083943,0.0002991408,0.00006795255],"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.0005458195,0.000219643,0.03574971,0.0002857705,0.0003616975,0.00002016722,0.01181625,0.6825941,0.02350934,0.2355603,0.006485975,0.002851174],"study_design_scores_gemma":[0.0003672504,0.0001873409,0.0003680695,0.0003224657,0.00001336423,0.00004982805,0.000791256,0.9923373,0.003214341,0.001384776,0.0007612437,0.0002027522],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9420472,0.0002314395,0.04728976,0.003769221,0.001258785,0.0003626966,0.00007390797,0.0008452088,0.004121751],"genre_scores_gemma":[0.9379106,0.000002913469,0.06144939,0.0002795397,0.00007169768,0.00004335117,0.00001316009,0.00001561252,0.0002137432],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3097432,"threshold_uncertainty_score":0.684032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04559055700428573,"score_gpt":0.2994431930214112,"score_spread":0.2538526360171255,"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."}}