{"id":"W4417128723","doi":"10.4230/lipics.sat.2025.9","title":"CNFs and DNFs with Exactly $k$ Solutions","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","keywords":"Complement (music); Upper and lower bounds; Construct (python library); Probabilistic logic; Disjunctive normal form; Monotone polygon; True quantified Boolean formula; Representation (politics)","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.0001150462,0.0000945758,0.00009733058,0.00006254258,0.0001957975,0.00008492645,0.0003174019,0.00004275025,0.000005493397],"category_scores_gemma":[0.00001792845,0.00007748911,0.00001795522,0.0002965117,0.00006596337,0.0002428498,0.0001703326,0.0001249051,0.00004153719],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001523298,"about_ca_system_score_gemma":0.00009618301,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005296759,"about_ca_topic_score_gemma":0.00002864432,"domain_scores_codex":[0.9992676,0.00002537022,0.0001042376,0.0002918634,0.00008564914,0.0002252275],"domain_scores_gemma":[0.9994381,0.00004337969,0.00002612982,0.0003670733,0.00006011236,0.00006517133],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0000186372,0.0001652427,0.4569809,0.00005781855,0.00009091233,0.00003848661,0.001022784,0.0002638256,0.003274397,0.4786207,0.00437734,0.05508892],"study_design_scores_gemma":[0.001220215,0.0003360327,0.8622251,0.0003592756,0.00005861681,0.00005314986,0.0001623841,0.09507047,0.003992659,0.02365931,0.01203725,0.0008255389],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3513262,0.0002432274,0.6418502,0.002063792,0.00009602601,0.00004608947,6.814397e-7,0.0001290192,0.004244818],"genre_scores_gemma":[0.9910005,0.00003153898,0.007008504,0.0007943619,0.00002069594,0.000009901845,7.119481e-7,0.000003695917,0.001130099],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6396743,"threshold_uncertainty_score":0.3159914,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0396894175991551,"score_gpt":0.2530607799174146,"score_spread":0.2133713623182595,"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."}}