{"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":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.017356949,0.00008630537,0.97566074,0.00041954615,0.000052296207,0.000074229225,0.00006700816,0.0053278683,0.00095509156],"genre_scores_gemma":[0.33179876,0.00024746984,0.6635006,0.0005908101,0.00008115063,0.00026754054,0.00032592955,0.0014657881,0.0017218832],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9896588,0.003854806,0.0006059076,0.0016039062,0.0032273817,0.0010492564],"domain_scores_gemma":[0.9785695,0.014116624,0.0015961069,0.003663467,0.0016643176,0.00038998868],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0061043883,0.0020527286,0.0013641729,0.002556975,0.00094315456,0.0030523357,0.0039736116,0.0020604578,0.002872106],"category_scores_gemma":[0.033302613,0.0016141252,0.0040677204,0.0014529992,0.005694475,0.0068818056,0.0054628383,0.006353511,0.00063612],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","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.0006108408,0.0005829209,0.007602287,0.0006935798,0.00034496532,0.0013995006,0.0013180434,0.41476044,0.025255768,0.4090961,0.008169943,0.13016564],"study_design_scores_gemma":[0.000120488534,0.00012598366,0.0003445248,0.000112307665,0.00008322963,0.00024131894,0.00005836472,0.7785234,0.020195331,0.19518007,0.004941941,0.00007299181],"about_ca_topic_score_codex":0.010725291,"about_ca_topic_score_gemma":0.008951206,"teacher_disagreement_score":0.010725291,"about_ca_system_score_codex":0.002390241,"about_ca_system_score_gemma":0.0029632614,"threshold_uncertainty_score":0.032283485},"labels":[],"label_agreement":null}]}