{"meta":{"query_hash":"cb2859a8ffd7","filters":{"venue":"Proceedings - Asia Pacific Software Engineering Conference/Proceedings"},"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/cb2859a8ffd7","api":"https://metacan.xera.ac/api/v1/cohort?venue=Proceedings+-+Asia+Pacific+Software+Engineering+Conference%2FProceedings"},"results":[{"id":"W2109709665","doi":"10.1109/apsec.2007.32","title":"Checking Distributed Programs with Partially Ordered Atoms","year":2007,"lang":"en","type":"article","venue":"Proceedings - Asia Pacific Software Engineering Conference/Proceedings","topic":"Software System Performance and Reliability","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":"Concordia University","funders":"","keywords":"Computer science; Correctness; Predicate (mathematical logic); Generality; Model checking; Computation; Semantics (computer science); Programming language; Interleaving; Theoretical computer science; Set (abstract data type); Abstract interpretation; Algorithm","score_opus":0.010885333790492472,"score_gpt":0.20833566923616958,"score_spread":0.1974503354456771,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2109709665","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.5471863,0.0001218497,0.4420104,0.00031010038,0.0007855527,0.0013644722,0.000009517514,0.0060850913,0.0021267224],"genre_scores_gemma":[0.92806137,0.00001788143,0.070988156,0.000028162582,0.00036923125,0.000241801,0.000029276474,0.000115887386,0.00014825902],"study_design_codex":"observational","study_design_gemma":"observational","domain_scores_codex":[0.9935794,0.0000035363073,0.001173179,0.0017740059,0.0013856919,0.0020842021],"domain_scores_gemma":[0.99597687,0.00011132051,0.00056557974,0.00041835217,0.0021723646,0.00075551256],"candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0017019915,0.0010699023,0.0009643716,0.0005302895,0.00049103354,0.0016476322,0.0019086978,0.00053706986,0.000021683974],"category_scores_gemma":[0.0005634815,0.0009205824,0.00023186856,0.0029382522,0.00022565549,0.0025924884,0.0004408353,0.0009878594,0.00006214224],"study_design_candidate":"observational","study_design_consensus":"observational","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.00026911366,0.000524726,0.9014905,0.0022124872,0.00041085578,0.00006306303,0.011135861,0.000055377368,0.0031596874,0.047997996,0.00159934,0.031080987],"study_design_scores_gemma":[0.014052706,0.0066584493,0.5216868,0.010811346,0.0007668497,0.0041116746,0.02613552,0.15049163,0.07883542,0.0045074425,0.16345052,0.01849163],"about_ca_topic_score_codex":0.000024835013,"about_ca_topic_score_gemma":0.000003893703,"teacher_disagreement_score":0.38087505,"about_ca_system_score_codex":0.00038647765,"about_ca_system_score_gemma":0.00024144574,"threshold_uncertainty_score":0.99938875},"labels":[],"label_agreement":null}]}