{"id":"W4387171855","doi":"10.3233/faia230409","title":"Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning","year":2023,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristic; Variable (mathematics); State variable; Function (biology); Mathematical optimization; Polynomial; Constant (computer programming); Mathematics; Exploit; Time complexity; State (computer science); Linear programming; Computer science; Algorithm; Applied mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004918117,0.0002311509,0.000367982,0.000302588,0.0003146726,0.0001235502,0.0003579519,0.0001888121,0.000003192376],"category_scores_gemma":[0.00005893123,0.0002625509,0.00005922685,0.0002116301,0.0001356143,0.0002009418,0.000130296,0.0003096153,0.000004670895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002563565,"about_ca_system_score_gemma":0.00008080052,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002602044,"about_ca_topic_score_gemma":0.000001991738,"domain_scores_codex":[0.9984133,0.00001462648,0.0005914238,0.0005526436,0.0001432447,0.0002847995],"domain_scores_gemma":[0.9987204,0.0004822229,0.000360715,0.0002813321,0.00008022067,0.00007511301],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002214745,0.00002969728,0.000407886,0.0002594966,0.00006090687,0.000005590524,0.002199981,0.01467239,0.0001093663,0.4329231,0.0005600985,0.5487493],"study_design_scores_gemma":[0.00005057405,0.0001203001,0.00001219608,0.0008239591,0.00005555885,0.00001059312,0.001519682,0.6020075,0.000805323,0.3670829,0.02687446,0.0006369757],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007386563,0.001333736,0.994215,0.0001167558,0.000229282,0.0004477385,0.00003207258,0.00009848543,0.003453071],"genre_scores_gemma":[0.02765417,0.0008847241,0.9583282,0.0000923197,0.0005897713,0.000536448,0.0001225049,0.0001103444,0.01168145],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5873351,"threshold_uncertainty_score":0.9999827,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07186557574386285,"score_gpt":0.3006178253404891,"score_spread":0.2287522495966263,"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."}}