{"id":"W4409366064","doi":"10.1609/aaai.v39i11.33240","title":"Towards Projected and Incremental Pseudo-Boolean Model Counting","year":2025,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Ministry of Education, India; National Research Foundation Singapore; National Supercomputing Centre Singapore; National University of Singapore; National Research Foundation","keywords":"Computer science; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003806246,0.001312724,0.001516804,0.002267716,0.0009599673,0.003815373,0.004796198,0.001507002,0.009866924],"category_scores_gemma":[0.04390035,0.001004461,0.001812105,0.002801296,0.001368024,0.01122774,0.004470771,0.003364676,0.002030077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002313756,"about_ca_system_score_gemma":0.00604191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006951467,"about_ca_topic_score_gemma":0.01614221,"domain_scores_codex":[0.9933674,0.002156671,0.000360878,0.0009145295,0.002752351,0.0004481455],"domain_scores_gemma":[0.9774076,0.01188339,0.001063383,0.005594438,0.003404368,0.0006468477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006387746,0.0003584479,0.004981236,0.0008677464,0.0001822066,0.0003381363,0.000416621,0.1468931,0.006609918,0.2565034,0.03248686,0.5497235],"study_design_scores_gemma":[0.00006488011,0.00006707906,0.0002220654,0.00005347724,0.00004506921,0.0001592733,0.00006772875,0.8416539,0.003423218,0.1467897,0.007425121,0.0000283899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02185637,0.0006139139,0.9612852,0.00122157,0.0001808122,0.0002033141,0.0009492054,0.00852446,0.005165213],"genre_scores_gemma":[0.1901122,0.000335433,0.803043,0.0007213799,0.0001483977,0.0002747825,0.002003696,0.001130588,0.002230454],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009866924,"threshold_uncertainty_score":0.03300816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06561222624970106,"score_gpt":0.304535531653894,"score_spread":0.238923305404193,"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."}}