{"id":"W4404537869","doi":"10.4204/eptcs.412","title":"Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics","year":2024,"lang":"en","type":"paratext","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science","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.006638895,0.001177035,0.001803759,0.001626243,0.001260533,0.00789582,0.001899611,0.001413817,0.06633691],"category_scores_gemma":[0.007136678,0.0008793913,0.001801983,0.002419464,0.002284182,0.007477222,0.004003542,0.005965976,0.01914249],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002848518,"about_ca_system_score_gemma":0.003651125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005105277,"about_ca_topic_score_gemma":0.006880239,"domain_scores_codex":[0.9948145,0.001371655,0.0004138712,0.0006833214,0.002388683,0.0003279644],"domain_scores_gemma":[0.9946905,0.002105991,0.0001182527,0.001005545,0.00163221,0.0004475263],"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.0003439234,0.0002121715,0.0004431718,0.000563336,0.00009798969,0.0001917435,0.000581968,0.002768978,0.003563306,0.2098933,0.5824687,0.1988715],"study_design_scores_gemma":[0.00004550538,0.00004689846,0.0003363384,0.000189276,0.00003519091,0.0001883426,0.0001269722,0.003833217,0.001534052,0.07907269,0.9145586,0.00003286312],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006462547,0.03460994,0.5232682,0.03395299,0.03769586,0.0006099329,0.005193437,0.00473611,0.353471],"genre_scores_gemma":[0.05359397,0.02457792,0.2151452,0.004260198,0.01392773,0.0008686527,0.01485355,0.005092661,0.6676801],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.06633691,"threshold_uncertainty_score":0.2219191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01178231465471512,"score_gpt":0.2760641878329189,"score_spread":0.2642818731782038,"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."}}