{"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":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3922572,0.0016147075,0.14530317,0.0059599043,0.0056795897,0.0024505574,0.000034435754,0.00045457415,0.44624585],"genre_scores_gemma":[0.99334216,0.0004890071,0.00509567,0.00007482684,0.00016924649,0.00010984141,0.0000059712834,0.000016610808,0.0006966912],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99690497,0.00048663488,0.00045481176,0.0006290353,0.0010119235,0.00051265],"domain_scores_gemma":[0.99874955,0.00031672113,0.00007849749,0.0005050922,0.00020211596,0.00014799357],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0020099573,0.00016216232,0.00020970327,0.00034762334,0.00022855285,0.000466054,0.001071799,0.00009073132,0.00003372248],"category_scores_gemma":[0.00006036283,0.00015402795,0.000035554727,0.00046376052,0.0001289211,0.0007452549,0.0001128992,0.0004470838,0.00015184919],"study_design_candidate":"simulation_or_modeling","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.00004594657,0.00027610728,0.0009019335,0.000067574416,0.000027491713,0.00009226581,0.00081717985,0.022382058,0.015341082,0.2776366,0.000080981605,0.6823308],"study_design_scores_gemma":[0.002501076,0.0008885286,0.010146726,0.0012999824,0.000002425288,0.0004469467,0.00024549675,0.8580082,0.004733546,0.004274967,0.116643615,0.0008084984],"about_ca_topic_score_codex":0.00010932866,"about_ca_topic_score_gemma":0.000006203308,"teacher_disagreement_score":0.8356261,"about_ca_system_score_codex":0.000442686,"about_ca_system_score_gemma":0.000061075094,"threshold_uncertainty_score":0.6281077},"labels":[],"label_agreement":null}]}