{"id":"W3024074289","doi":"10.1145/373243.360221","title":"What packets may come","year":2001,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Computer science; TRACE (psycholinguistics); Protocol (science); Specification language; Construct (python library); Network packet; Point (geometry); Programming language; Theoretical computer science; Computer network","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005029761,0.0001198095,0.0001258724,0.00008460622,0.0001094592,0.0004871562,0.001904945,0.00006577739,0.00005437511],"category_scores_gemma":[0.0003359816,0.0001070345,0.00003536276,0.000338558,0.00005093492,0.002643202,0.0003215577,0.0001178281,0.000550527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002530518,"about_ca_system_score_gemma":0.00001977068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001433618,"about_ca_topic_score_gemma":0.0000112749,"domain_scores_codex":[0.9988347,0.0001187705,0.0001924256,0.0003078534,0.0002717506,0.0002744654],"domain_scores_gemma":[0.9982218,0.0002953475,0.0001151786,0.001227919,0.00005190873,0.00008788468],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004959498,0.0002178624,0.02908427,0.00007667237,0.00005668039,0.0001638476,0.005079877,0.0003092515,0.002386916,0.2961439,0.004652801,0.6617783],"study_design_scores_gemma":[0.001843288,0.0008453596,0.2812318,0.0003770349,0.00006792002,0.0004176819,0.00156911,0.1295393,0.03450359,0.0760812,0.4711965,0.002327159],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6959341,0.001113686,0.2711598,0.009102376,0.00703539,0.0004251991,0.000003596794,0.0008999641,0.01432589],"genre_scores_gemma":[0.6494086,0.000169274,0.3490142,0.0007779903,0.0001253174,0.000009797074,0.00000453118,0.000008757797,0.0004815],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6594512,"threshold_uncertainty_score":0.7076094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06032250214397428,"score_gpt":0.3319133247227106,"score_spread":0.2715908225787363,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}