{"meta":{"query_hash":"882b0cc821c3","filters":{"venue":"International Conference on Formal Methods and Models for Co-Design"},"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/882b0cc821c3","api":"https://metacan.xera.ac/api/v1/cohort?venue=International+Conference+on+Formal+Methods+and+Models+for+Co-Design"},"results":[{"id":"W2113201355","doi":"10.5555/823453.823837","title":"Bridging CSP and C++ with selective formalism and executable specifications","year":2003,"lang":"en","type":"article","venue":"International Conference on Formal Methods and Models for Co-Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"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 Guelph","funders":"","keywords":"Computer science; Communicating sequential processes; Programming language; Executable; Formal specification; Formalism (music); Formal methods; Specification language; Language Of Temporal Ordering Specification; Formal verification; Concurrency; Inter-process communication; Semantics (computer science); Operational semantics; Distributed computing","score_opus":0.22047810455563632,"score_gpt":0.3901348550870173,"score_spread":0.16965675053138096,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2113201355","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.002880025,0.000074877906,0.99330324,0.00014373919,0.000021437214,0.000060574686,0.000034816443,0.00049224804,0.0029890426],"genre_scores_gemma":[0.10763878,0.0006361676,0.88680625,0.00032265333,0.00007609251,0.0004892334,0.00031929844,0.00033215797,0.003379326],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.996874,0.0008770026,0.00026770827,0.00029968098,0.0014534717,0.00022813467],"domain_scores_gemma":[0.9962924,0.0019502706,0.00028862836,0.00081746024,0.0004967838,0.000154438],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003168037,0.0009548204,0.00043908192,0.001108597,0.0006611739,0.0018840276,0.0020105862,0.0011031827,0.0021521356],"category_scores_gemma":[0.00543797,0.0006378362,0.00081716076,0.0016125753,0.0026093742,0.0025134329,0.0022654524,0.0022013665,0.00091721426],"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.00005653044,0.000036872974,0.00022201099,0.00020301965,0.000012219772,0.00039910714,0.00051201915,0.010658866,0.009138578,0.92344487,0.0017292963,0.053586546],"study_design_scores_gemma":[0.00011315456,0.00015274837,0.0002799318,0.00013518904,0.000041712872,0.00080595555,0.00021799727,0.22999959,0.0425751,0.61513805,0.11048239,0.000058170423],"about_ca_topic_score_codex":0.0018886089,"about_ca_topic_score_gemma":0.0018627731,"teacher_disagreement_score":0.003168037,"about_ca_system_score_codex":0.00068764336,"about_ca_system_score_gemma":0.0030243248,"threshold_uncertainty_score":0.01675433},"labels":[],"label_agreement":null}]}