{"id":"W4306681017","doi":"10.1609/aiide.v18i1.21950","title":"Tiered State Expansion in Optimization Crosswords","year":2022,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Compute Canada","keywords":"Computer science; Constraint (computer-aided design); Set (abstract data type); State (computer science); Domain (mathematical analysis); Mathematical optimization; Algorithm; 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.001131115,0.0007860127,0.0008698154,0.000714935,0.000621264,0.001273492,0.001234743,0.0008801038,0.009182763],"category_scores_gemma":[0.005166319,0.0005032188,0.001130149,0.001135937,0.001393141,0.002557584,0.002441352,0.001571912,0.0008738788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001169926,"about_ca_system_score_gemma":0.001736127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006224017,"about_ca_topic_score_gemma":0.009604226,"domain_scores_codex":[0.9989109,0.000380359,0.00006003369,0.0002213966,0.0002163742,0.0002110054],"domain_scores_gemma":[0.9979588,0.00120239,0.0001441497,0.0003126129,0.0002858424,0.00009615523],"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.0002167702,0.0002128764,0.001005245,0.0002348051,0.00004431559,0.0002252024,0.0002444224,0.7795764,0.005809965,0.09937707,0.00425689,0.108796],"study_design_scores_gemma":[0.0000310956,0.00009778931,0.0002251147,0.00002327048,0.00001637429,0.00005008704,0.00005708735,0.9371317,0.002179425,0.05668623,0.003481066,0.00002069514],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09558157,0.0006799693,0.8799705,0.0005903789,0.00008875277,0.0002965044,0.0005808967,0.002101483,0.02010989],"genre_scores_gemma":[0.6179031,0.000396528,0.3698292,0.0004668366,0.00004491513,0.0003895124,0.001080438,0.0005204066,0.00936904],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009182763,"threshold_uncertainty_score":0.03071934,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02772202021560269,"score_gpt":0.2611148846289915,"score_spread":0.2333928644133888,"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."}}