{"meta":{"query_hash":"752986d00360","filters":{"venue":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)"},"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/752986d00360","api":"https://metacan.xera.ac/api/v1/cohort?venue=2014+IEEE%2FACM+International+Conference+on+Computer-Aided+Design+%28ICCAD%29"},"results":[{"id":"W4237512363","doi":"10.1109/iccad.2014.7001426","title":"Multiple clock domain synchronization in a QBF-based verification environment","year":2014,"lang":"en","type":"article","venue":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"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 Toronto","funders":"","keywords":"Computer science; Overhead (engineering); Synchronization (alternating current); Model checking; Clock synchronization; Formal verification; Boolean satisfiability problem; Theoretical computer science; Algorithm; Parallel computing; Embedded system; Programming language","score_opus":0.06340559574712286,"score_gpt":0.2853163085096436,"score_spread":0.22191071276252078,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4237512363","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.005740322,0.000060035043,0.99270153,0.00007175057,0.000011480168,0.00005547475,0.000044601195,0.000674959,0.00063986675],"genre_scores_gemma":[0.30103254,0.00021236941,0.69617826,0.00014313981,0.000032625696,0.00026408964,0.00020143257,0.00025111818,0.0016844547],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99598,0.0017897409,0.0002488415,0.0006424433,0.0009850956,0.00035382403],"domain_scores_gemma":[0.99579704,0.002777551,0.00041973699,0.0004665028,0.0004719293,0.00006720328],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0038703303,0.0007819202,0.00059724855,0.0010477314,0.0007463988,0.0016944903,0.0014874707,0.0009539842,0.0032135854],"category_scores_gemma":[0.008480422,0.0006226927,0.0012638422,0.00078389165,0.0019388831,0.0032772727,0.0012943101,0.0011369907,0.0007046843],"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.00055588776,0.0001582809,0.0015093025,0.0005628718,0.00009403357,0.0007230975,0.0008167507,0.4439613,0.037770465,0.39328927,0.0018847568,0.118673965],"study_design_scores_gemma":[0.00012447091,0.00020852429,0.00014977348,0.000113338654,0.00007206744,0.00018820878,0.000068390196,0.8377354,0.03218978,0.1194952,0.009608127,0.00004672706],"about_ca_topic_score_codex":0.004862292,"about_ca_topic_score_gemma":0.0051794304,"teacher_disagreement_score":0.004862292,"about_ca_system_score_codex":0.0015165197,"about_ca_system_score_gemma":0.0032574232,"threshold_uncertainty_score":0.020468473},"labels":[],"label_agreement":null}]}