{"meta":{"query_hash":"7c59d195f724","filters":{"venue":"Annual Symposium on Combinatorial Search"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/7c59d195f724","api":"https://metacan.xera.ac/api/v1/cohort?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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.03679569407185995,"score_gpt":0.27114269070385694,"score_spread":0.23434699663199698,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2171955870","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.022874568,0.00047763318,0.9564356,0.00035275845,0.00006881145,0.00020183326,0.0002933021,0.0013861218,0.017909363],"genre_scores_gemma":[0.5120147,0.0004124711,0.47962755,0.0002619374,0.00003788523,0.0003336924,0.00092791044,0.0003627946,0.006021068],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99739265,0.0007785815,0.00020303346,0.0006196167,0.0007648254,0.00024115398],"domain_scores_gemma":[0.99507046,0.002803465,0.0002662974,0.0012041207,0.00048320493,0.00017251381],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0022043157,0.0007410644,0.0011356772,0.0012860206,0.0011316582,0.0030272289,0.002139856,0.0014169134,0.011673364],"category_scores_gemma":[0.011575071,0.00048788128,0.0012462676,0.0015123945,0.0024993788,0.005598477,0.0044798553,0.001788032,0.0016123296],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00028172234,0.00014578039,0.0020304194,0.00037037864,0.00013036054,0.000104021725,0.00048870966,0.17283657,0.0042490796,0.6129989,0.0050040497,0.20136002],"study_design_scores_gemma":[0.00004649444,0.0001594645,0.0004750662,0.00007688502,0.00005891202,0.00011006141,0.00016065007,0.5065446,0.0067454264,0.46872002,0.01685597,0.00004641793],"about_ca_topic_score_codex":0.0023957256,"about_ca_topic_score_gemma":0.0021527123,"teacher_disagreement_score":0.011673364,"about_ca_system_score_codex":0.001796469,"about_ca_system_score_gemma":0.0022741756,"threshold_uncertainty_score":0.039051294},"labels":[],"label_agreement":null}]}