{"id":"W4405432368","doi":"10.1145/3704894","title":"Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"European Research Council; European Commission; National Science Foundation","keywords":"Unary operation; Probabilistic logic; Probabilistic argumentation; Deductive reasoning; Computer science; Statistical relational learning; Independence (probability theory); Artificial intelligence; Non-monotonic logic; Psychology of reasoning; Reasoning system; Model-based reasoning; Mathematics; Relational database; Knowledge representation and reasoning; Information retrieval","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.01326409,0.001434145,0.00139649,0.002789177,0.002314363,0.006236027,0.005929459,0.002206978,0.0147016],"category_scores_gemma":[0.02410168,0.002438704,0.004080546,0.002005363,0.008081175,0.01485749,0.01350941,0.01047066,0.004062516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002933883,"about_ca_system_score_gemma":0.00464537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004654556,"about_ca_topic_score_gemma":0.004997277,"domain_scores_codex":[0.9881153,0.004250443,0.000602984,0.001755011,0.004223143,0.00105312],"domain_scores_gemma":[0.9843192,0.0083188,0.0009449034,0.004029902,0.001459933,0.0009272726],"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.0001452654,0.00008568801,0.0004308456,0.0002686374,0.00007753316,0.0002317962,0.0006986708,0.01002104,0.002482758,0.9277569,0.009854783,0.04794608],"study_design_scores_gemma":[0.00009507529,0.00006348055,0.0001622963,0.000162644,0.00009021675,0.0002419641,0.00007214766,0.06594011,0.004998946,0.8490185,0.07906915,0.00008549789],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008897816,0.0001564767,0.9909483,0.0007980356,0.0000904386,0.00006512066,0.00008231042,0.003708976,0.003260505],"genre_scores_gemma":[0.106989,0.001084078,0.8750976,0.00213972,0.0006580178,0.0005598477,0.0005605224,0.003420824,0.009490483],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0147016,"threshold_uncertainty_score":0.07014805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0156668702876688,"score_gpt":0.2843594112531986,"score_spread":0.2686925409655299,"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."}}