{"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":"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.22356966,0.000065364795,0.77120876,0.00019605501,0.000024432844,0.00013888335,0.00023053237,0.003235817,0.0013304618],"genre_scores_gemma":[0.79356843,0.00006490383,0.20414917,0.00006996753,0.000028438253,0.00023294037,0.0005076963,0.0002012118,0.0011772482],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99605954,0.0010685724,0.00027539112,0.0008166794,0.0013897737,0.00039010876],"domain_scores_gemma":[0.9869804,0.0091346055,0.0013708908,0.0014466078,0.00086897967,0.0001984242],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00292489,0.0009544566,0.0010997971,0.0011609658,0.0010287038,0.0022436045,0.002092701,0.0011391074,0.0015883407],"category_scores_gemma":[0.01169237,0.0009470468,0.0018271444,0.0009782191,0.0032691266,0.0036014204,0.0024643594,0.0016037219,0.00019901968],"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.00069653324,0.00027370703,0.010065529,0.00024263904,0.00021847566,0.0007959881,0.00050354266,0.81504756,0.019694334,0.11321258,0.00081815664,0.03843093],"study_design_scores_gemma":[0.00006514989,0.00008592655,0.0003260477,0.000013231208,0.00004007236,0.00005668965,0.000049560214,0.9413151,0.009542992,0.048002888,0.0004883619,0.000013883733],"about_ca_topic_score_codex":0.008122676,"about_ca_topic_score_gemma":0.009319553,"teacher_disagreement_score":0.008122676,"about_ca_system_score_codex":0.0014721348,"about_ca_system_score_gemma":0.0030440977,"threshold_uncertainty_score":0.016150832},"labels":[],"label_agreement":null}]}