{"meta":{"query_hash":"3268703587b4","filters":{"venue":"Computer Games"},"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/3268703587b4","api":"https://metacan.xera.ac/api/v1/cohort?venue=Computer+Games"},"results":[{"id":"W2007279641","doi":"10.5555/2662593.2662596","title":"Towards model checking of computer games with Java PathFinder","year":2013,"lang":"en","type":"article","venue":"Computer Games","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Java; Computer science; Pathfinder; Programming language; Model checking; Code (set theory); State (computer science); Space (punctuation); Source code; State space; Operating system; World Wide Web; Mathematics; Set (abstract data type)","score_opus":0.022824778103721067,"score_gpt":0.23745149531079765,"score_spread":0.21462671720707657,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2007279641","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.03594613,0.00010559357,0.9581458,0.0004252514,0.00021840085,0.00025394306,0.0000014640974,0.004426611,0.00047680514],"genre_scores_gemma":[0.42587268,0.0000044176545,0.5733234,0.00059908436,0.00010922508,0.00002471334,0.0000016619733,0.000019297418,0.00004549937],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9980121,0.000062460094,0.0003986721,0.000630719,0.00044058115,0.00045541357],"domain_scores_gemma":[0.99807996,0.0001736319,0.00021996662,0.0010371875,0.00034946314,0.00013980665],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002312615,0.00032460265,0.00043525588,0.00021159824,0.00008553445,0.00029484503,0.0013170282,0.00010872047,0.000010698088],"category_scores_gemma":[0.000019214067,0.00025324756,0.00011405517,0.00036530726,0.00013988465,0.0005842246,0.0007318888,0.0002136993,0.00002813903],"study_design_candidate":"simulation_or_modeling","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.000006718829,0.00023615807,0.009116001,0.0001280358,0.000092452836,0.000022027776,0.0030586168,0.011100754,0.00011124252,0.006532201,0.077591814,0.89200395],"study_design_scores_gemma":[0.00029898493,0.0002600893,0.012854513,0.00023680547,0.000008682365,0.00004638535,0.0000025096995,0.96563447,0.000961239,0.019090312,0.00023293885,0.00037310427],"about_ca_topic_score_codex":0.000125801,"about_ca_topic_score_gemma":0.000001250182,"teacher_disagreement_score":0.9545337,"about_ca_system_score_codex":0.000036431473,"about_ca_system_score_gemma":0.00012808156,"threshold_uncertainty_score":0.99999195},"labels":[],"label_agreement":null}]}