{"id":"W2137995940","doi":"10.1109/date.2006.244073","title":"On the Numerical Verification of Probabilistic Rewriting Systems","year":2006,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Rewriting; Computer science; Probabilistic logic; Programming language; Theoretical computer science; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.0003888097,0.000059451,0.00009202071,0.00002208408,0.00006904103,0.00009058052,0.0003617268,0.00002907452,0.000004742581],"category_scores_gemma":[0.0000682016,0.00003358596,0.00003184158,0.0002009179,0.00002843417,0.00006333015,0.00003275423,0.0000479015,0.00004931188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002060983,"about_ca_system_score_gemma":0.00001858143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004748658,"about_ca_topic_score_gemma":0.000003448064,"domain_scores_codex":[0.9992062,0.00008765604,0.0002164935,0.0001708102,0.0001967173,0.0001220839],"domain_scores_gemma":[0.9992464,0.0001795151,0.0001062979,0.0003837974,0.00006757322,0.00001641567],"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":[7.434687e-7,0.00003445011,0.0001703532,0.00001806108,0.000001884996,6.052477e-7,0.00004245443,0.0002515809,0.0001169444,0.9978234,0.0006368307,0.0009027569],"study_design_scores_gemma":[0.0006006137,0.0006564169,0.007601374,0.00005629998,0.00001868706,0.00006485688,0.000478679,0.6260408,0.003588322,0.3317246,0.02853338,0.0006359071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005544728,0.00007401849,0.9230466,0.0003459179,0.0002854008,0.000345021,1.689341e-7,0.0001375378,0.07022058],"genre_scores_gemma":[0.9986054,3.038988e-7,0.0006787553,0.00002765903,0.00006803025,0.00002960742,9.161709e-7,0.000003124147,0.0005862041],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9930606,"threshold_uncertainty_score":0.1369596,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02322420248815503,"score_gpt":0.2306627868092763,"score_spread":0.2074385843211213,"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."}}