{"id":"W2573654191","doi":"10.1609/socs.v7i1.18409","title":"Numeric Planning via Search Space Abstraction (Extended Abstract)","year":2021,"lang":"en","type":"article","venue":"Proceedings of the International Symposium on Combinatorial Search","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristics; Leverage (statistics); Abstraction; Computer science; State space; Space (punctuation); Set (abstract data type); Theoretical computer science; Artificial intelligence; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000881114,0.0007596586,0.0005138157,0.0006686698,0.0005067161,0.001137041,0.001035705,0.000537416,0.008932634],"category_scores_gemma":[0.003907441,0.0004260797,0.001143879,0.001134658,0.001522352,0.001732927,0.002078206,0.001764149,0.001371319],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008645991,"about_ca_system_score_gemma":0.00131938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00560809,"about_ca_topic_score_gemma":0.006619976,"domain_scores_codex":[0.9990545,0.0003315205,0.00007084518,0.0001359506,0.0003049291,0.0001023333],"domain_scores_gemma":[0.9986354,0.0007583416,0.0001141903,0.0003253729,0.0001276898,0.00003905792],"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.0002087156,0.00007749294,0.0007456884,0.0004411477,0.00006073182,0.0003441174,0.0002702998,0.6770707,0.005793405,0.1434202,0.009868169,0.1616992],"study_design_scores_gemma":[0.000053745,0.00006038888,0.0002316062,0.00007661613,0.00003596433,0.0001240259,0.00005046488,0.7991185,0.005450038,0.1765796,0.01819436,0.00002461245],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007524643,0.0002868803,0.9818475,0.0002960438,0.00007809804,0.00008113666,0.0003383372,0.002705611,0.006841726],"genre_scores_gemma":[0.3198389,0.0005394191,0.6724762,0.0002082245,0.00005750281,0.0003529053,0.001130337,0.0004642204,0.004932402],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008932634,"threshold_uncertainty_score":0.02988261,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01856010657655227,"score_gpt":0.2717365050006084,"score_spread":0.2531763984240561,"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."}}