{"id":"W2295402490","doi":"10.1007/978-3-319-28228-2_9","title":"Simplifying Probabilistic Programs Using Computer Algebra","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Denotational semantics; Computer science; Probabilistic logic; Denotational semantics of the Actor model; Continuation; Semantics (computer science); Normalisation by evaluation; Algebra over a field; Transformation (genetics); Programming language; Theoretical computer science; Program transformation; Operational semantics; Mathematics; Artificial intelligence; Pure mathematics","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.001599176,0.001000072,0.001237177,0.001053986,0.001046277,0.002098833,0.002124903,0.0006455831,0.01088544],"category_scores_gemma":[0.006520346,0.0008278465,0.002100433,0.001964558,0.002243142,0.005363543,0.002547402,0.004858003,0.003099449],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001268655,"about_ca_system_score_gemma":0.001079635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001871954,"about_ca_topic_score_gemma":0.002263764,"domain_scores_codex":[0.9981722,0.0006366226,0.00009759238,0.0002383786,0.0007320546,0.0001232204],"domain_scores_gemma":[0.9978675,0.001315071,0.0000907886,0.0005098715,0.0001796992,0.00003704121],"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.00002287532,0.00003229376,0.00006713807,0.0001023732,0.00002028271,0.00002614437,0.0001567317,0.01796594,0.0006303081,0.9304644,0.004045616,0.04646592],"study_design_scores_gemma":[0.000008928668,0.000004411374,0.00002815201,0.00001294855,0.000009334169,0.00001757923,0.00001335211,0.03649113,0.0005261741,0.9548451,0.00803643,0.000006583731],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006320396,0.0003720898,0.9656871,0.0005425313,0.00007778702,0.00005217669,0.0001415241,0.0007853035,0.02602112],"genre_scores_gemma":[0.2555524,0.002191921,0.7071762,0.0004437373,0.0004816788,0.0004266465,0.001164312,0.001939665,0.03062349],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01088544,"threshold_uncertainty_score":0.03641546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04663639290688598,"score_gpt":0.2727546672884338,"score_spread":0.2261182743815479,"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."}}