{"id":"W2029586423","doi":"10.1145/2000378.2000399","title":"Symbolic model checking of probabilistic knowledge","year":2011,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Australian Research Council; Defence Research and Development Canada","keywords":"Computer science; Probabilistic logic; Model checking; Programming language; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003762813,0.00005760132,0.00008787287,0.00005824962,0.00002408224,0.000009348517,0.0006109939,0.00003249932,0.00001414685],"category_scores_gemma":[0.00008770583,0.00004905062,0.0000284399,0.0002185927,0.00004109371,0.0002762826,0.0001444986,0.00004575182,0.00003282403],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001718995,"about_ca_system_score_gemma":0.00004861839,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001095706,"about_ca_topic_score_gemma":0.000001701839,"domain_scores_codex":[0.9994274,0.00003547366,0.0001766565,0.0001608566,0.00008213049,0.0001174799],"domain_scores_gemma":[0.9993188,0.00001786201,0.00006147515,0.0004752302,0.0000928209,0.00003382313],"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.000001142781,0.00005663716,0.00006871382,0.00002301092,0.000002181882,8.907801e-8,0.00280602,0.0001120975,0.0009113042,0.981496,0.00002076591,0.01450198],"study_design_scores_gemma":[0.00004788764,0.00002444596,0.001357705,0.000009222801,0.00000222871,0.000001810729,0.00001012394,0.9142687,0.03190087,0.05228337,0.00002780482,0.00006583035],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01054268,0.00002128703,0.8389878,0.000005029751,0.00009330997,0.00008066135,1.500977e-7,0.0000889955,0.15018],"genre_scores_gemma":[0.4686051,9.813416e-7,0.5311487,0.000009092066,0.000004490144,0.000006445116,6.326083e-8,0.000002267647,0.0002228303],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9292127,"threshold_uncertainty_score":0.2000226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1446619501012251,"score_gpt":0.3110605909897139,"score_spread":0.1663986408884888,"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."}}