{"id":"W2842937415","doi":"10.24963/ijcai.2018/698","title":"Efficient Symbolic Integration for Probabilistic Inference","year":2018,"lang":"en","type":"article","venue":"","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Vlaamse regering; Fonds Wetenschappelijk Onderzoek","keywords":"Computer science; Probabilistic logic; Inference; Theoretical computer science; Variable elimination; Graphical model; Range (aeronautics); Cache; Reduction (mathematics); Artificial intelligence; Parallel computing; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002169407,0.00009347298,0.0000896042,0.00005307489,0.000119447,0.0001426168,0.0004589437,0.00004390867,0.00001560323],"category_scores_gemma":[0.0001831013,0.00007186547,0.00003364449,0.0002097903,0.00006573027,0.00007483655,0.00007667541,0.00005227474,0.0001073473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002899803,"about_ca_system_score_gemma":0.00009182062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000205494,"about_ca_topic_score_gemma":0.00002186383,"domain_scores_codex":[0.9991901,0.00001910938,0.000160549,0.0002998286,0.0001216427,0.0002087735],"domain_scores_gemma":[0.9991413,0.0001015118,0.00003749552,0.0003488508,0.000305555,0.00006530307],"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.000003324006,0.00004109866,0.00001181028,0.000006768941,0.00000241304,1.414022e-7,0.0005117281,0.000515506,0.001037788,0.9418203,0.0003589252,0.05569019],"study_design_scores_gemma":[0.00009391052,0.0001702522,0.0001528739,0.00001857138,0.000002395696,0.000001758815,0.00001024804,0.9456147,0.002952825,0.05068803,0.0001858203,0.0001086144],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01904578,0.000007757048,0.9745884,0.0004223117,0.0002693192,0.0002087871,0.000001104169,0.0002219304,0.005234591],"genre_scores_gemma":[0.88297,5.224948e-7,0.1163388,0.0002800058,0.00008382584,0.00004559075,0.000001298219,0.000003619492,0.0002763276],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9450992,"threshold_uncertainty_score":0.2930589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03891901223483472,"score_gpt":0.3049688671158779,"score_spread":0.2660498548810432,"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."}}