{"id":"W6929278436","doi":"10.48550/arxiv.2411.13318","title":"Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Concurrency; Semantics (computer science); Operational semantics; Formal semantics (linguistics); Series (stratigraphy); Action semantics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008057039,0.001216561,0.002043821,0.001691583,0.001205245,0.007598305,0.002055921,0.001410166,0.05247014],"category_scores_gemma":[0.007971767,0.0009138079,0.002055175,0.002215932,0.002234491,0.007587597,0.004640798,0.006885385,0.01469947],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003047348,"about_ca_system_score_gemma":0.003749123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003886974,"about_ca_topic_score_gemma":0.004424213,"domain_scores_codex":[0.9942484,0.001535409,0.0004305042,0.0008898871,0.00250389,0.0003918426],"domain_scores_gemma":[0.9936474,0.002511608,0.0001296504,0.001281962,0.001829125,0.0006002188],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003679834,0.0002735872,0.0005388489,0.0006115063,0.0001370408,0.0002113043,0.0006570887,0.002991417,0.004339392,0.2399073,0.5429893,0.2069754],"study_design_scores_gemma":[0.00005817154,0.00006065681,0.0004478012,0.0002333519,0.00004735699,0.0002344163,0.0001497494,0.004623075,0.001954594,0.1213031,0.8708457,0.00004192373],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.009028571,0.04248422,0.5853829,0.03827713,0.05625297,0.000610023,0.004927768,0.00481707,0.2582193],"genre_scores_gemma":[0.08259196,0.03402486,0.2830242,0.006153926,0.02568597,0.001056202,0.01801025,0.006945818,0.5425068],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.05247014,"threshold_uncertainty_score":0.1755301,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06020613655816171,"score_gpt":0.2265495446004051,"score_spread":0.1663434080422434,"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."}}