{"meta":{"query_hash":"6f6b9dc61604","filters":{"venue":"International Symposium on Advanced Research in Asynchronous Circuits and Systems"},"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/6f6b9dc61604","api":"https://metacan.xera.ac/api/v1/cohort?venue=International+Symposium+on+Advanced+Research+in+Asynchronous+Circuits+and+Systems"},"results":[{"id":"W2295941719","doi":"","title":"Composing snippets","year":2000,"lang":"en","type":"article","venue":"International Symposium on Advanced Research in Asynchronous Circuits and Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Constraint (computer-aided design); Implementation; Simple (philosophy); Process (computing); Formal verification; Distributed computing; Programming language; Model checking; Formal methods; Theoretical computer science; Software engineering; Engineering","score_opus":0.06170759449847835,"score_gpt":0.3706100543107172,"score_spread":0.30890245981223885,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2295941719","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.023231544,0.00026056537,0.92857414,0.00038259284,0.00046743156,0.00051433564,0.0008680701,0.008300478,0.037400857],"genre_scores_gemma":[0.18108241,0.0008014904,0.7256587,0.00055149314,0.00018029107,0.0010675502,0.0041357726,0.0060630064,0.080459304],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9979997,0.00030408267,0.00017656668,0.00042758754,0.00086015713,0.00023185338],"domain_scores_gemma":[0.9976241,0.00093369593,0.000113849674,0.00079276745,0.00042538074,0.00011022363],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013966911,0.0012405696,0.0008715172,0.002218146,0.001606882,0.002216202,0.00191562,0.0017515462,0.028800149],"category_scores_gemma":[0.0062387395,0.00070486224,0.0016144264,0.0017394935,0.0012934407,0.0055439486,0.0045575174,0.001528668,0.008037767],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","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.0005444459,0.00027626625,0.0028953697,0.00079359015,0.000213336,0.0063407365,0.001324917,0.039413076,0.030924968,0.4887599,0.022394456,0.40611893],"study_design_scores_gemma":[0.000071820585,0.00027416568,0.00077654026,0.0002988854,0.0002093946,0.002260571,0.0007014968,0.1822813,0.05787361,0.37852105,0.37661776,0.00011342863],"about_ca_topic_score_codex":0.0010919861,"about_ca_topic_score_gemma":0.0018252444,"teacher_disagreement_score":0.028800149,"about_ca_system_score_codex":0.0005045158,"about_ca_system_score_gemma":0.00096434454,"threshold_uncertainty_score":0.09634614},"labels":[],"label_agreement":null}]}