{"id":"W4414905624","doi":"10.2139/ssrn.5576286","title":"On Approximability of Propositional Model Counting","year":2025,"lang":"en","type":"preprint","venue":"SSRN Electronic Journal","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Propositional formula; Propositional variable; Generalization; Propositional calculus; Satisfiability; Term (time); Calculus (dental)","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.01047503,0.001515151,0.003247851,0.003504827,0.002303514,0.007277049,0.005757156,0.003682896,0.01206683],"category_scores_gemma":[0.09507461,0.001492522,0.003852806,0.004648134,0.005020536,0.0163023,0.00623665,0.009447644,0.000868784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004910512,"about_ca_system_score_gemma":0.001995342,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006587344,"about_ca_topic_score_gemma":0.004686208,"domain_scores_codex":[0.9920858,0.003650605,0.0005000577,0.001199576,0.001857796,0.000706171],"domain_scores_gemma":[0.8948628,0.09409952,0.001868216,0.006217902,0.001962781,0.0009887922],"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.0001129881,0.00006631365,0.0009593943,0.0001576233,0.00006434815,0.0001105641,0.0003749264,0.03658364,0.0002630815,0.9395241,0.002126213,0.01965676],"study_design_scores_gemma":[0.000008749741,0.000005893432,0.00008221121,0.00002141791,0.00002010954,0.00003042636,0.0000221651,0.1065605,0.0000992793,0.8927682,0.0003731817,0.000007864931],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05097764,0.0009454263,0.9252844,0.003645652,0.0001684027,0.00005650337,0.0004137243,0.0008292645,0.01767902],"genre_scores_gemma":[0.7495373,0.001215623,0.236978,0.001250889,0.0007974859,0.0002492401,0.001332983,0.0006880229,0.007950417],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01206683,"threshold_uncertainty_score":0.05539787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01595186610020419,"score_gpt":0.2681587688555949,"score_spread":0.2522069027553907,"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."}}