{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005821573,0.000247722,0.0002682119,0.0001786628,0.0002819565,0.0004181614,0.001635541,0.0001089085,0.000008813887],"category_scores_gemma":[0.0002676107,0.0001933602,0.00007577809,0.0007251238,0.0002800214,0.0004458721,0.0007090463,0.0003593183,0.00001130109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005283285,"about_ca_system_score_gemma":0.000274236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008786502,"about_ca_topic_score_gemma":0.00001031313,"domain_scores_codex":[0.9980889,0.00001637697,0.0005334421,0.0005840794,0.0004180527,0.0003591792],"domain_scores_gemma":[0.9987311,0.00004552357,0.0002462592,0.0002835423,0.0006207263,0.00007283659],"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.00002701863,0.00007041013,0.0001416531,0.00005119933,0.00001414964,1.836292e-7,0.0007470169,0.0001342971,0.04273961,0.8915364,0.0001122132,0.0644258],"study_design_scores_gemma":[0.0000235285,0.00005204005,0.00007243888,0.0002407007,0.00001027795,0.000002010533,0.0002109719,0.5833875,0.1902305,0.2256208,0.000008570888,0.0001406361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4506994,0.00004669466,0.5025763,0.00572238,0.0003477658,0.0005794227,0.000006652145,0.0002402479,0.03978115],"genre_scores_gemma":[0.9836937,0.00004109375,0.01537745,0.0004931973,0.00002263082,0.00002557962,3.383959e-7,0.000008487414,0.0003374931],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6659157,"threshold_uncertainty_score":0.7885001,"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."}}