{"id":"W3040628294","doi":"10.1609/aaai.v35i14.17474","title":"Learning Branching Heuristics for Propositional Model Counting","year":2021,"lang":"en","type":"preprint","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Vector Institute; University of Toronto","funders":"Defense Advanced Research Projects Agency; National Science Foundation","keywords":"Heuristics; Solver; Computer science; Boolean satisfiability problem; Scalability; Propositional formula; Probabilistic logic; Theoretical computer science; Satisfiability; Algorithm; Propositional variable; Artificial intelligence; 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.002662629,0.001423918,0.001472504,0.001577283,0.0008043599,0.00221543,0.002649829,0.001750961,0.005102856],"category_scores_gemma":[0.01890187,0.000988831,0.001520477,0.002087496,0.001234545,0.003527348,0.001646925,0.003536365,0.0008102688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003219218,"about_ca_system_score_gemma":0.003223377,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007517512,"about_ca_topic_score_gemma":0.01569122,"domain_scores_codex":[0.9977977,0.0009075443,0.0001038922,0.000480749,0.0004727737,0.0002373683],"domain_scores_gemma":[0.9879313,0.009892883,0.0004463751,0.0009419773,0.0005266913,0.0002609298],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001586735,0.0002067012,0.001640665,0.0002222721,0.0001008978,0.0001111591,0.000127657,0.7482133,0.00115627,0.06332601,0.01356554,0.1711709],"study_design_scores_gemma":[0.00002400577,0.00001106011,0.00005953061,0.0000137312,0.00001063675,0.00001210649,0.00001374672,0.9554152,0.000394757,0.04326292,0.0007771652,0.000005108292],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03767874,0.00084029,0.9480177,0.001189673,0.0001117396,0.0001396914,0.0005884839,0.004502209,0.006931507],"genre_scores_gemma":[0.391801,0.0005389264,0.6005455,0.0008304121,0.0001736328,0.0003064064,0.002069967,0.0007754156,0.002958628],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007517512,"threshold_uncertainty_score":0.02335715,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09233300877692752,"score_gpt":0.3111257048330753,"score_spread":0.2187926960561478,"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."}}