{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001698378,0.0007419011,0.0007190254,0.001135553,0.0003224016,0.003075887,0.003823529,0.0004253535,0.00006314465],"category_scores_gemma":[0.0002647478,0.0006133084,0.000106894,0.002178548,0.001514526,0.001040029,0.001570284,0.002213354,0.0001817793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008519879,"about_ca_system_score_gemma":0.0006436951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005114692,"about_ca_topic_score_gemma":0.000003220691,"domain_scores_codex":[0.9938055,0.00003955835,0.0008285557,0.002313788,0.001535619,0.00147698],"domain_scores_gemma":[0.9983789,0.0002989094,0.0002851379,0.0003134789,0.0004678744,0.0002556867],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005461493,0.0001017614,0.00009133588,0.0001271939,0.00001958005,0.00001323155,0.001217816,0.00008754623,0.00007072464,0.9865894,0.001456889,0.01016989],"study_design_scores_gemma":[0.002189565,0.001773429,0.0004182755,0.002603922,0.00002414071,0.000237578,0.0002311167,0.5524641,0.001633106,0.4243516,0.01179199,0.002281143],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2340911,0.007945755,0.2828264,0.02574794,0.06074946,0.01117309,0.00005253035,0.001809443,0.3756043],"genre_scores_gemma":[0.9963666,0.0002228103,0.001095394,0.0004147211,0.0007573187,0.0001359131,0.00001645239,0.00004138999,0.0009494186],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7622755,"threshold_uncertainty_score":0.9996318,"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."}}