{"meta":{"query_hash":"f940d53fa180","filters":{"venue":"School of Computing Science Technical Report Series"},"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/f940d53fa180","api":"https://metacan.xera.ac/api/v1/cohort?venue=School+of+Computing+Science+Technical+Report+Series"},"results":[{"id":"W154983637","doi":"","title":"Perspectives on Formal Methods in the Last 25 years","year":2006,"lang":"en","type":"article","venue":"School of Computing Science Technical Report Series","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"","funders":"","keywords":"Formal methods; Context (archaeology); Computer science; Field (mathematics); Subject (documents); Quarter (Canadian coin); Software engineering; Work (physics); Data science; Engineering; History; Library science; Archaeology; Mathematics","score_opus":0.017221555868217848,"score_gpt":0.3558945100244626,"score_spread":0.33867295415624477,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W154983637","genre_codex":"review","genre_gemma":"review","domain_codex":null,"domain_gemma":"methods","model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"review","genre_consensus":"review","domain_candidate":"methods","domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00272047,0.70917857,0.017536348,0.1625702,0.009716829,0.000013775086,0.00009930138,0.000096153264,0.098068364],"genre_scores_gemma":[0.15468673,0.6935698,0.02139594,0.055546314,0.028604787,0.00015883478,0.0002269084,0.00020852072,0.04560221],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9941135,0.0029856383,0.0003154941,0.0006640622,0.0015012095,0.0004200849],"domain_scores_gemma":[0.9897466,0.0076316427,0.00046161754,0.00046201746,0.0011544547,0.00054364145],"candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.009865372,0.0010009339,0.00077083067,0.0040214695,0.0028507647,0.0068131406,0.0014213928,0.0046648327,0.008748523],"category_scores_gemma":[0.008812729,0.00033500887,0.0009757181,0.0031668728,0.018246476,0.010277149,0.0030835236,0.006180328,0.0016453367],"study_design_candidate":"not_applicable","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.000021681708,0.00001878268,0.00010146057,0.0002589022,0.000008202009,0.00006148973,0.0011250043,0.0003607578,0.00010072652,0.96081305,0.014733004,0.022396894],"study_design_scores_gemma":[0.000009970878,0.000025335841,0.00013350701,0.0006067841,0.000003858808,0.000121471094,0.0007052889,0.00028002693,0.00006216728,0.37165514,0.6263803,0.000016146147],"about_ca_topic_score_codex":0.0035832177,"about_ca_topic_score_gemma":0.002909918,"teacher_disagreement_score":0.99013466,"about_ca_system_score_codex":0.008899465,"about_ca_system_score_gemma":0.0028504503,"threshold_uncertainty_score":0.06457043},"labels":[],"label_agreement":null}]}