{"meta":{"query_hash":"2981abbf928f","filters":{"venue":"International workshop on Model Checking Software"},"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/2981abbf928f","api":"https://metacan.xera.ac/api/v1/cohort?venue=International+workshop+on+Model+Checking+Software"},"results":[{"id":"W2068242377","doi":"10.5555/380921.380946","title":"Modeling and verifying a price model for congestion control in computer networks using promela/spin","year":2001,"lang":"en","type":"article","venue":"International workshop on Model Checking Software","topic":"Network Traffic and Congestion Control","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Promela; Computer science; Convergence (economics); Network congestion; Network packet; Enforcement; Model checking; Computer network; Theoretical computer science","score_opus":0.03884762681953042,"score_gpt":0.2883049922359541,"score_spread":0.24945736541642372,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2068242377","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.042277016,0.00021508921,0.9552922,0.0009207744,0.00046627957,0.00054185296,0.0000056229683,0.00025379017,0.000027371592],"genre_scores_gemma":[0.8214853,0.00005354969,0.1769087,0.0010703595,0.0002585474,0.0001075687,0.000010914545,0.000030102152,0.000074946394],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99789447,0.00004642729,0.00048760365,0.0007266061,0.00037271934,0.00047220587],"domain_scores_gemma":[0.9988761,0.00029264245,0.00014751437,0.00029245144,0.00027355886,0.000117751006],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00048862497,0.00029860562,0.0003169159,0.00025804157,0.00019342976,0.00032064822,0.0006012927,0.0002043816,0.000002234417],"category_scores_gemma":[0.00009870432,0.00031758216,0.000103038255,0.00024512137,0.000033935547,0.0006390161,0.00013593059,0.00038557875,0.0000013583883],"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.00013709132,0.00006057142,0.00037128007,0.000007750504,0.00003253754,0.000008352603,0.00022825216,0.87402654,0.00001017137,0.0044429237,0.000020511867,0.12065401],"study_design_scores_gemma":[0.0019801604,0.000027247714,0.00003808264,0.0003757209,0.0000141488,0.000021977772,0.0000079485835,0.9942212,7.226239e-7,0.0029602707,0.000024131521,0.00032835398],"about_ca_topic_score_codex":0.0000078135035,"about_ca_topic_score_gemma":0.000016686268,"teacher_disagreement_score":0.7792083,"about_ca_system_score_codex":0.00023891439,"about_ca_system_score_gemma":0.00009791081,"threshold_uncertainty_score":0.99992764},"labels":[],"label_agreement":null}]}