{"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":"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.16074382,0.00010709378,0.83047724,0.00034715264,0.00008546667,0.0001144551,0.00014074997,0.0032772773,0.004706786],"genre_scores_gemma":[0.90356463,0.00007417188,0.094489574,0.00007500677,0.000016137323,0.0000801302,0.000083739804,0.00023663015,0.0013799417],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99845743,0.00049129577,0.00011683237,0.00023024657,0.00047194827,0.00023224282],"domain_scores_gemma":[0.9962214,0.0023296135,0.00031837635,0.00072266127,0.0003141814,0.00009368526],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00249156,0.00068506977,0.0008079373,0.000624445,0.001041571,0.0020964015,0.0015736348,0.0011203559,0.002564093],"category_scores_gemma":[0.007987156,0.00091580086,0.0013380698,0.00044677785,0.0023938003,0.0038403796,0.0015392943,0.002014068,0.00022243099],"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.00036164102,0.00014893983,0.002395636,0.00021458504,0.000095457384,0.00030043433,0.00033419198,0.7063442,0.009919527,0.26270404,0.000920934,0.016260345],"study_design_scores_gemma":[0.000056424342,0.000037835656,0.00008642657,0.000009339357,0.00003584511,0.000029731327,0.000028435488,0.94213074,0.0063679875,0.050412297,0.00079047115,0.000014442776],"about_ca_topic_score_codex":0.00656161,"about_ca_topic_score_gemma":0.007956396,"teacher_disagreement_score":0.00656161,"about_ca_system_score_codex":0.0010399796,"about_ca_system_score_gemma":0.0021753346,"threshold_uncertainty_score":0.013176799},"labels":[],"label_agreement":null}]}