{"meta":{"query_hash":"a6f1de481940","filters":{"venue":"Forum on specification and Design Languages"},"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/a6f1de481940","api":"https://metacan.xera.ac/api/v1/cohort?venue=Forum+on+specification+and+Design+Languages"},"results":[{"id":"W1578147699","doi":"","title":"Systemc-clang: An open-source framework for analyzing mixed-abstraction SystemC models","year":2013,"lang":"en","type":"article","venue":"Forum on specification and Design Languages","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":17,"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":"SystemC; Computer science; Transaction-level modeling; Abstraction; Representation (politics); Programming language; Plug-in; Intermediate language; Database transaction; Theoretical computer science; Parallel computing","score_opus":0.0781667057331414,"score_gpt":0.3080547590734346,"score_spread":0.22988805334029322,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1578147699","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.004794389,0.00038850418,0.99159926,0.0006610519,0.00014865394,0.0009058581,0.000004262063,0.00028062006,0.0012174179],"genre_scores_gemma":[0.94653946,0.00001786726,0.052461416,0.00025634712,0.00015481512,0.00019114876,0.000016691947,0.000021914437,0.0003403476],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9985645,0.00013661644,0.00031187542,0.0005103449,0.00018338395,0.0002933271],"domain_scores_gemma":[0.998497,0.00042664277,0.00022859302,0.00057034165,0.0001308651,0.0001465307],"candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0005112207,0.0001695618,0.00021937769,0.00014335175,0.00033482347,0.0010455564,0.0006632072,0.00011258533,0.000013266349],"category_scores_gemma":[0.000098631645,0.00014807304,0.000039349332,0.00022137997,0.000020080766,0.0012980684,0.00006647274,0.00012210797,0.000062141065],"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.0000065668096,0.00014458974,0.00040038934,0.0001382145,0.000038751874,0.000004270196,0.0019390818,0.00403295,0.0076516527,0.66324675,0.003942266,0.31845453],"study_design_scores_gemma":[0.0011632316,0.0009701495,0.005181385,0.0009617411,0.000049050042,0.00010630453,0.012443487,0.8874298,0.009190841,0.07856636,0.0026187038,0.0013190005],"about_ca_topic_score_codex":0.00010463874,"about_ca_topic_score_gemma":0.000005551765,"teacher_disagreement_score":0.94174504,"about_ca_system_score_codex":0.00004701034,"about_ca_system_score_gemma":0.00002535329,"threshold_uncertainty_score":0.9999915},"labels":[],"label_agreement":null}]}