{"id":"W3176021534","doi":"10.1609/aaai.v35i14.17474","title":"Learning Branching Heuristics for Propositional Model Counting","year":2021,"lang":"en","type":"article","venue":"","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Vector Institute; University of Toronto","funders":"Defense Advanced Research Projects Agency; National Science Foundation","keywords":"Heuristics; Boolean satisfiability problem; Computer science; Propositional formula; Scalability; Solver; Probabilistic logic; Theoretical computer science; Counting problem; Overhead (engineering); Maximum satisfiability problem; Satisfiability; True quantified Boolean formula; Branching (polymer chemistry); Algorithm; Mathematics; Propositional variable; Artificial intelligence; Boolean function; Programming language; Intermediate logic","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.002466237,0.001483488,0.001458697,0.001486485,0.0007968678,0.002151878,0.002631501,0.001700824,0.005478895],"category_scores_gemma":[0.01799425,0.0009655388,0.001502876,0.001999606,0.001191396,0.003406536,0.00162075,0.003507234,0.0008548423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003206728,"about_ca_system_score_gemma":0.003358141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008199329,"about_ca_topic_score_gemma":0.01789559,"domain_scores_codex":[0.997937,0.0008231236,0.00009672722,0.0004700022,0.0004415437,0.0002316394],"domain_scores_gemma":[0.9886917,0.009269748,0.0004246581,0.0008592822,0.0005012536,0.0002533163],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001655861,0.0002156454,0.001765773,0.0002398626,0.0001064562,0.000117776,0.0001243519,0.7399604,0.001185778,0.06066514,0.01522519,0.1802281],"study_design_scores_gemma":[0.00002472101,0.00001175593,0.00006307873,0.00001432259,0.00001116595,0.00001278017,0.00001401712,0.9587973,0.000385327,0.03983659,0.000823642,0.000005172793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03736396,0.0009243082,0.9475502,0.001242037,0.0001202638,0.0001448113,0.0006384549,0.004902781,0.007113121],"genre_scores_gemma":[0.4029665,0.0005593282,0.5889402,0.0009067575,0.000177813,0.0003028308,0.002222841,0.0008042732,0.003119571],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008199329,"threshold_uncertainty_score":0.02326655,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02506010837299026,"score_gpt":0.2674832899943436,"score_spread":0.2424231816213534,"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."}}