{"id":"W4410416269","doi":"10.1007/978-3-031-88930-1_2","title":"Some Uses of Modal Semirings","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Modal","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001157608,0.000393443,0.0005260395,0.001036358,0.0001282343,0.0002030128,0.004288058,0.0003098543,0.000007241977],"category_scores_gemma":[0.0002523765,0.0003764193,0.0001327064,0.0007128188,0.0007656397,0.0009520427,0.001689041,0.0006193342,0.00001376638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000230185,"about_ca_system_score_gemma":0.0006412806,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000211587,"about_ca_topic_score_gemma":0.00000608736,"domain_scores_codex":[0.9968202,0.00004546855,0.0006174964,0.001168177,0.0008865802,0.0004620866],"domain_scores_gemma":[0.9970823,0.0004352409,0.0003933043,0.001708149,0.0002876049,0.00009340739],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004461577,0.0000212086,0.00003379679,0.0001054375,0.000009268332,0.00001046828,0.000390151,0.009118584,0.0004721322,0.4676511,0.0000289316,0.5221545],"study_design_scores_gemma":[0.0001613722,0.0001271723,0.0001794224,0.0006321461,0.000008460961,0.00002120259,8.056062e-8,0.5265872,0.02423209,0.4462017,0.001345163,0.000503969],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007722117,0.0005893278,0.9925784,0.0002900983,0.002166341,0.0002846269,0.000005212213,0.0001322054,0.003876608],"genre_scores_gemma":[0.01387494,0.0000731699,0.984428,0.0007002636,0.0002580046,0.000007160546,0.000001737989,0.00001631969,0.0006403411],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5216505,"threshold_uncertainty_score":0.9998688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02290584290990886,"score_gpt":0.2804070665169648,"score_spread":0.2575012236070559,"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."}}