{"id":"W2997090216","doi":"10.1609/aaai.v34i04.5733","title":"Predicting Propositional Satisfiability via End-to-End Learning","year":2020,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Software Engineering Research","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"British Columbia Knowledge Development Fund; Natural Sciences and Engineering Research Council of Canada; Alberta Machine Intelligence Institute; Compute Canada; Defense Advanced Research Projects Agency; Canadian Institute for Advanced Research; Nvidia","keywords":"Satisfiability; Computer science; Variable (mathematics); Boolean satisfiability problem; Feature (linguistics); Artificial intelligence; Deep learning; Feature engineering; Linear programming; Key (lock); Algorithm; Machine learning; Theoretical computer science; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.000703748,0.0002099137,0.0002383216,0.0001049604,0.0002376197,0.0002638859,0.002044027,0.00007520588,0.0001375858],"category_scores_gemma":[0.00441516,0.0001735541,0.0000978738,0.001089323,0.000183732,0.0003975816,0.0007961943,0.0006436816,0.000161679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007631064,"about_ca_system_score_gemma":0.0001389328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004250478,"about_ca_topic_score_gemma":0.000002530637,"domain_scores_codex":[0.9974722,0.00003052154,0.0004725245,0.0006509584,0.0009496046,0.0004241743],"domain_scores_gemma":[0.9982356,0.0004140151,0.0001752967,0.0002346966,0.0006909115,0.0002494101],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001478788,0.0002033629,0.04737931,0.0002508289,0.00004830929,0.000002849439,0.008484197,0.005128338,0.2420125,0.4634197,0.0001767194,0.232746],"study_design_scores_gemma":[0.00003220086,0.000607653,0.008330597,0.0001927463,0.000008150264,0.000007142038,0.0002645914,0.3935463,0.573145,0.02343267,0.000106022,0.0003268858],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6463172,0.00001246248,0.334281,0.01569549,0.0003397766,0.000821821,0.000006264641,0.0005114207,0.002014576],"genre_scores_gemma":[0.9895375,0.000002609703,0.009994906,0.0002456919,0.0001259319,0.00003968379,4.95618e-7,0.00001535767,0.00003779367],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.439987,"threshold_uncertainty_score":0.7077331,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06095954478794397,"score_gpt":0.2915961234970659,"score_spread":0.2306365787091219,"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."}}