{"id":"W4416138655","doi":"10.4230/lipics.sat.2025.31","title":"On Top-Down Pseudo-Boolean Model Counting","year":2025,"lang":"en","type":"article","venue":"ArXiv.org","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; National Supercomputing Centre Singapore; National University of Singapore; Natural Science Foundation of Jilin Province","keywords":"Variable (mathematics); Heuristic; Succinctness; Natural number; Boolean data type; Decision model; Counting problem","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.003692381,0.001352688,0.001676332,0.001988722,0.0009722126,0.002594754,0.003297675,0.00134065,0.009022991],"category_scores_gemma":[0.02808703,0.0008279438,0.001436474,0.002398662,0.001555737,0.006039035,0.002849058,0.003107252,0.001650349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002246075,"about_ca_system_score_gemma":0.006479573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007305637,"about_ca_topic_score_gemma":0.01459683,"domain_scores_codex":[0.9947008,0.002046126,0.0002431685,0.0007280401,0.001843255,0.000438521],"domain_scores_gemma":[0.9841058,0.01093499,0.0007096871,0.002392109,0.001534491,0.0003230308],"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.0007309461,0.0003216557,0.003614105,0.0006903807,0.0001354089,0.0002473232,0.0002330576,0.2743095,0.007178205,0.158438,0.01448832,0.5396132],"study_design_scores_gemma":[0.00006117862,0.00009436275,0.0001990281,0.00004996264,0.0000408679,0.0001205569,0.00003806475,0.9208338,0.003427427,0.07128921,0.003823044,0.00002252396],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0189221,0.0007069223,0.9703943,0.0008259267,0.00009915369,0.0002399141,0.0004097162,0.003737806,0.004664291],"genre_scores_gemma":[0.2373267,0.000449739,0.7554629,0.001075673,0.00009117992,0.000419984,0.001069198,0.0006816574,0.00342295],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009022991,"threshold_uncertainty_score":0.03018486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03429833526994901,"score_gpt":0.2759263382268345,"score_spread":0.2416280029568855,"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."}}