{"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.70333916,0.0002773478,0.0436001,0.0052705756,0.019192433,0.0019305443,0.00024698244,0.0024377252,0.22370516],"genre_scores_gemma":[0.9959982,0.000016378734,0.0016778839,0.0002871186,0.00029277705,0.000019282954,0.000015216622,0.000032028838,0.001661109],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9966632,0.00040953944,0.0003179109,0.0007024429,0.0009845768,0.00092232093],"domain_scores_gemma":[0.99809885,0.00029433222,0.00005380206,0.00083603367,0.00033402085,0.00038294483],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0014666566,0.00026590042,0.00026186224,0.00022999322,0.00041693184,0.00021834002,0.0016951439,0.00015404746,0.00008921538],"category_scores_gemma":[0.000035705496,0.00025007245,0.000100049285,0.0006542186,0.000096380936,0.0005645004,0.00052744214,0.0006872242,0.0009983793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"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.00073287816,0.0012480712,0.011190538,0.00011431099,0.00015901146,0.0005514204,0.080629796,0.00076112605,0.001997595,0.8562741,0.028544763,0.017796379],"study_design_scores_gemma":[0.019724034,0.03448306,0.020244453,0.0009728936,0.00008987716,0.00020404387,0.0022754658,0.039401133,0.36674073,0.227548,0.27994385,0.008372459],"about_ca_topic_score_codex":0.0016110935,"about_ca_topic_score_gemma":0.000004727092,"teacher_disagreement_score":0.6287261,"about_ca_system_score_codex":0.00015654528,"about_ca_system_score_gemma":0.00044936143,"threshold_uncertainty_score":0.9999952},"labels":[],"label_agreement":null}]}