{"id":"W2171955870","doi":"","title":"State-Set Search","year":2011,"lang":"en","type":"article","venue":"Annual Symposium on Combinatorial Search","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Abstraction; State (computer science); State space; Set (abstract data type); Computer science; Theoretical computer science; Domain (mathematical analysis); Abstraction model checking; Space (punctuation); Algorithm; Mathematics; Model checking; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002204316,0.0007410644,0.001135677,0.001286021,0.001131658,0.003027229,0.002139856,0.001416913,0.01167336],"category_scores_gemma":[0.01157507,0.0004878813,0.001246268,0.001512395,0.002499379,0.005598477,0.004479855,0.001788032,0.00161233],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001796469,"about_ca_system_score_gemma":0.002274176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002395726,"about_ca_topic_score_gemma":0.002152712,"domain_scores_codex":[0.9973927,0.0007785815,0.0002030335,0.0006196167,0.0007648254,0.000241154],"domain_scores_gemma":[0.9950705,0.002803465,0.0002662974,0.001204121,0.0004832049,0.0001725138],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002817223,0.0001457804,0.002030419,0.0003703786,0.0001303605,0.0001040217,0.0004887097,0.1728366,0.00424908,0.6129989,0.00500405,0.20136],"study_design_scores_gemma":[0.00004649444,0.0001594645,0.0004750662,0.00007688502,0.00005891202,0.0001100614,0.0001606501,0.5065446,0.006745426,0.46872,0.01685597,0.00004641793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02287457,0.0004776332,0.9564356,0.0003527584,0.00006881145,0.0002018333,0.0002933021,0.001386122,0.01790936],"genre_scores_gemma":[0.5120147,0.0004124711,0.4796275,0.0002619374,0.00003788523,0.0003336924,0.0009279104,0.0003627946,0.006021068],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01167336,"threshold_uncertainty_score":0.03905129,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03679569407185995,"score_gpt":0.2711426907038569,"score_spread":0.234346996631997,"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."}}