{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001897344,0.002280262,0.001077296,0.0009851683,0.0006385177,0.001876369,0.003161996,0.002313075,0.009732446],"category_scores_gemma":[0.01527383,0.001057121,0.001366562,0.0008123156,0.001367116,0.004792671,0.002019665,0.005143992,0.003414466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002011605,"about_ca_system_score_gemma":0.002649927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004297486,"about_ca_topic_score_gemma":0.01441001,"domain_scores_codex":[0.9985593,0.0004084401,0.00007457879,0.0005076763,0.0002718976,0.0001780715],"domain_scores_gemma":[0.9902173,0.007140079,0.0003993426,0.001099099,0.0009215208,0.0002226557],"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.0005282506,0.000856334,0.006370805,0.0006313867,0.0001925298,0.0002120721,0.0001344758,0.6705568,0.005577173,0.01386544,0.0274382,0.2736365],"study_design_scores_gemma":[0.00001950317,0.00003480093,0.0001327121,0.00001257171,0.000008306731,0.000009436352,0.00001365701,0.985447,0.001306897,0.01249599,0.0005145301,0.000004514319],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1620695,0.0009127571,0.7927228,0.002796246,0.0003375968,0.0004188287,0.003352469,0.02471379,0.01267597],"genre_scores_gemma":[0.6494737,0.0004469775,0.3306777,0.001376871,0.0001532043,0.0005043031,0.009696001,0.0008642527,0.006807057],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009732446,"threshold_uncertainty_score":0.03255832,"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."}}