{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"7c59d195f724","filters":{"venue":"Annual Symposium on Combinatorial Search"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"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","authors":[{"name":"Bo Pang","is_ca":true},{"name":"Robert C. Holte","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03679569407185995,"gpt":0.2711426907038569,"spread":0.234346996631997,"validation_status":"score_only:v0-immature-baseline"},"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"},"labels":[],"label_agreement":null}]}