{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004162157,0.0005586189,0.0006440719,0.0007221627,0.0007907912,0.001478881,0.00164478,0.000803583,0.002368259],"category_scores_gemma":[0.01850528,0.0005670554,0.001374825,0.0008452217,0.004449296,0.003496841,0.003002099,0.002620369,0.0007297129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009022863,"about_ca_system_score_gemma":0.001703513,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001275209,"about_ca_topic_score_gemma":0.0009985018,"domain_scores_codex":[0.9928185,0.002021106,0.0003767693,0.0008319773,0.003652406,0.0002993335],"domain_scores_gemma":[0.992785,0.003982798,0.0005596285,0.001787148,0.0007906596,0.00009472233],"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.00007879655,0.0000256112,0.000399359,0.0001770292,0.0000424219,0.0001700708,0.0003757618,0.1179945,0.0200943,0.8353039,0.0003444674,0.02499366],"study_design_scores_gemma":[0.00005990795,0.0001288373,0.0002757811,0.00008533375,0.00005489991,0.0003163484,0.00006740876,0.4624776,0.03888679,0.4828738,0.01470347,0.00006973503],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005791625,0.00006371651,0.9920289,0.00008994435,0.00001753384,0.00002056565,0.00002543594,0.0005845402,0.001377747],"genre_scores_gemma":[0.4221458,0.0004240712,0.5747446,0.0001683112,0.00006192137,0.0001944801,0.0001449389,0.0003047663,0.001811215],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004162157,"threshold_uncertainty_score":0.02201188,"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."}}