{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006374432,0.0001073161,0.0001789734,0.00004274871,0.0001295289,0.00009292981,0.001278347,0.00006536087,2.978972e-7],"category_scores_gemma":[0.002282084,0.00008031176,0.00004878605,0.0003543533,0.000084773,0.000298204,0.0003815467,0.0001183069,1.444882e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001853191,"about_ca_system_score_gemma":0.00004135504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002680894,"about_ca_topic_score_gemma":0.000004130542,"domain_scores_codex":[0.9989868,0.000008165725,0.0002746114,0.0003093194,0.0002407205,0.0001804283],"domain_scores_gemma":[0.9988587,0.0001504854,0.0003032853,0.0003358331,0.0003205925,0.00003113577],"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.00005113184,0.0001722424,0.04029291,0.001230385,0.00005274295,4.885554e-7,0.002522424,0.0001008193,0.006958141,0.7887576,0.000256843,0.1596043],"study_design_scores_gemma":[0.007689956,0.003216018,0.2412761,0.02672716,0.0003989296,0.0001215622,0.01257936,0.1869485,0.2367919,0.2521255,0.02919366,0.002931363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.981596,0.001163007,0.01277497,0.001719632,0.0001889876,0.00123768,0.00001596331,0.0001536905,0.001150067],"genre_scores_gemma":[0.8927084,0.000003661178,0.1069738,0.00004303673,0.00002144513,0.00006017479,0.00000109537,0.000005554271,0.0001829246],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.536632,"threshold_uncertainty_score":0.3275018,"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."}}