{"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":"codex-gemma-dda1882f352a","candidate_categories":["research_integrity"],"consensus_categories":[],"category_scores_codex":[0.002448889,0.0002569917,0.0003541262,0.0001894968,0.0001620828,0.0001385459,0.001579895,0.0002361509,0.000002561473],"category_scores_gemma":[0.00008573354,0.0002341715,0.0002303196,0.0001668944,0.00006265186,0.000153146,0.0005789615,0.004717067,0.000003312455],"about_ca_system_candidate":true,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009127069,"about_ca_system_score_gemma":0.01265617,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002954275,"about_ca_topic_score_gemma":0.00001965931,"domain_scores_codex":[0.9969352,0.0001228755,0.0005317821,0.0005252282,0.0005714615,0.001313419],"domain_scores_gemma":[0.9984491,0.00008200837,0.0004075286,0.0005985345,0.0004001641,0.00006269708],"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.00001850102,0.0001239042,0.00002092512,0.00006113319,0.00007141767,5.837959e-7,0.00008618725,0.08872794,0.00004252014,0.8995128,0.00003605613,0.01129802],"study_design_scores_gemma":[0.00009934889,0.00006574141,0.00000564251,0.000139413,0.00001145092,0.00001883836,0.000009164422,0.4431489,0.0000961303,0.556292,0.000001788695,0.0001116193],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01354621,0.0005512827,0.9820411,0.000802384,0.0002725578,0.0001607733,0.00001263255,0.00006320746,0.002549894],"genre_scores_gemma":[0.9742371,0.0003632216,0.02462419,0.000133277,0.00008568302,0.00001340783,0.000005761254,0.000008550844,0.0005288412],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9606909,"threshold_uncertainty_score":0.9975791,"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."}}