{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"2981abbf928f","filters":{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Clement Yuen","is_ca":true},{"name":"Wei Tjioe","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03884762681953042,"gpt":0.2883049922359541,"spread":0.2494573654164237,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00249156,0.0006850698,0.0008079373,0.000624445,0.001041571,0.002096402,0.001573635,0.001120356,0.002564093],"category_scores_gemma":[0.007987156,0.0009158009,0.00133807,0.0004467778,0.0023938,0.00384038,0.001539294,0.002014068,0.000222431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00103998,"about_ca_system_score_gemma":0.002175335,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00656161,"about_ca_topic_score_gemma":0.007956396,"domain_scores_codex":[0.9984574,0.0004912958,0.0001168324,0.0002302466,0.0004719483,0.0002322428],"domain_scores_gemma":[0.9962214,0.002329614,0.0003183763,0.0007226613,0.0003141814,0.00009368526],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000361641,0.0001489398,0.002395636,0.000214585,0.00009545738,0.0003004343,0.000334192,0.7063442,0.009919527,0.262704,0.000920934,0.01626034],"study_design_scores_gemma":[0.00005642434,0.00003783566,0.00008642657,0.000009339357,0.00003584511,0.00002973133,0.00002843549,0.9421307,0.006367987,0.0504123,0.0007904712,0.00001444278],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1607438,0.0001070938,0.8304772,0.0003471526,0.00008546667,0.0001144551,0.00014075,0.003277277,0.004706786],"genre_scores_gemma":[0.9035646,0.00007417188,0.09448957,0.00007500677,0.00001613732,0.0000801302,0.0000837398,0.0002366301,0.001379942],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00656161,"threshold_uncertainty_score":0.0131768,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}