{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00258192,0.0007631225,0.0006212087,0.002035937,0.001892411,0.004321566,0.001146015,0.001245289,0.009269129],"category_scores_gemma":[0.003809232,0.0009127885,0.001270328,0.002399118,0.006552699,0.008913161,0.00219835,0.003065663,0.001511405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002245503,"about_ca_system_score_gemma":0.0004648886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009502187,"about_ca_topic_score_gemma":0.001181419,"domain_scores_codex":[0.9984159,0.0007398176,0.0001063609,0.0002090169,0.0004077071,0.0001210611],"domain_scores_gemma":[0.9975642,0.00177527,0.00007361527,0.000334884,0.0001903297,0.00006173576],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007911008,0.000005165431,0.000021203,0.00002851614,0.000003017466,0.00002133035,0.000230628,0.0001560111,0.0001796779,0.9906512,0.001064487,0.007630792],"study_design_scores_gemma":[0.000005210444,0.000007348143,0.0000406324,0.00003323834,0.00000545352,0.00007729803,0.00006356549,0.0008895507,0.0003567732,0.9637097,0.03480344,0.000007819029],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01756608,0.03778129,0.3776271,0.005444547,0.00123954,0.00006391035,0.0002683813,0.0006175367,0.5593916],"genre_scores_gemma":[0.6350188,0.02636231,0.2151005,0.00201291,0.002114589,0.0002446902,0.0004033013,0.0005847035,0.1181582],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009269129,"threshold_uncertainty_score":0.0310083,"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."}}