{"id":"W4379523233","doi":"10.21428/594757db.fbf33f8c","title":"Upward Pass Semantics in Arithmetic Circuit Inference","year":2023,"lang":"en","type":"article","venue":"","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Bayesian network; Inference; Semantics (computer science); Graphical model; Computer science; Node (physics); Probabilistic logic; Variable elimination; Theoretical computer science; Artificial intelligence; Network analysis; Joint probability distribution; Arithmetic; Algorithm; Mathematics; Programming language; Statistics","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.002123412,0.000683924,0.0006101037,0.001100893,0.001047486,0.002500385,0.001737194,0.001181323,0.008247615],"category_scores_gemma":[0.008295418,0.0007160546,0.001459794,0.0010389,0.00360042,0.008779176,0.002090186,0.003299476,0.001001275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001453873,"about_ca_system_score_gemma":0.001322939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00212354,"about_ca_topic_score_gemma":0.003818495,"domain_scores_codex":[0.99861,0.0004808216,0.0001048419,0.0002959627,0.0003552687,0.0001530499],"domain_scores_gemma":[0.9962793,0.002616272,0.0001476612,0.0005632954,0.0003131216,0.00008038024],"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.00005859109,0.00002354222,0.0002596803,0.00008087112,0.00001724716,0.00008154614,0.0001454606,0.02031945,0.0009686869,0.9536139,0.0012481,0.02318297],"study_design_scores_gemma":[0.000009576198,0.0000140418,0.00004243498,0.00001384191,0.00001576447,0.00002826453,0.00001809261,0.05240617,0.001311195,0.9441416,0.001990533,0.000008592599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02339445,0.0002226742,0.9628842,0.0009334582,0.00008975819,0.00005017832,0.0002429847,0.001194116,0.01098822],"genre_scores_gemma":[0.6301817,0.0004979162,0.3573678,0.0008101073,0.0002871596,0.0002526387,0.0005547378,0.0005996061,0.009448389],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008247615,"threshold_uncertainty_score":0.02759099,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05939419362298502,"score_gpt":0.2953528530526053,"score_spread":0.2359586594296202,"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."}}